List of all items

Structs

• DerivationTree
• MatchArm
• ProofGoal
• certifier::CertificationContext
• engine::BackwardChainer
• hints::SocraticHint

Enums

• InferenceRule
• ProofExpr
• ProofTerm
• error::ProofError
• hints::SuggestedTactic

Functions

• certifier::certify
• hints::suggest_hint
• unify::apply_subst_to_expr
• unify::apply_subst_to_term
• unify::beta_reduce
• unify::compose_substitutions
• unify::unify_exprs
• unify::unify_pattern
• unify::unify_terms

Type Aliases

• error::ProofResult
• unify::ExprSubstitution
• unify::Substitution