Documentation

Aesop.Main

source
def Aesop.evalAesop :
Lean.Elab.Tactic.Tactic
Equations
    Instances For
      source
      def Aesop.evalAesop.go (stx : Lean.Syntax) (goal : Lean.MVarId) :
      StateRefT' IO.RealWorld Stats Lean.Elab.Tactic.TacticM Unit
      Equations
        Instances For