suggest_hint

logicaffeine_proof::hints

Function suggest_hint 

Source 
pub fn suggest_hint(
    goal: &ProofExpr,
    knowledge_base: &[ProofExpr],
    failed_tactics: &[SuggestedTactic],
) -> SocraticHint
Expand description

Generate a Socratic hint based on the goal and available knowledge