Documentation

Aesop.Main

source
def Aesop.evalAesop :
Lean.Elab.Tactic.Tactic
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Aesop.evalAesop.go (stx : Lean.Syntax) (goal : Lean.MVarId) :
    StateRefT' IO.RealWorld Stats Lean.Elab.Tactic.TacticM Unit
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For