def Aesop.matchByTactic : Lean.Term → Option (Lean.TSyntax `Lean.Parser.Tactic.tacticSeq)

Equations

• One or more equations did not get rendered due to their size.

def Aesop.RuleBuilder.tactic : Aesop.RuleBuilder

Equations

• One or more equations did not get rendered due to their size.