TorchLean API
Docs Home
Guide
Examples
Graphs
Aesop
.
Main
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Init
Aesop.Frontend.Tactic
Aesop.Search.Main
Aesop.Stats.Extension
Aesop.Stats.File
Imported by
Aesop
.
evalAesop
source
def
Aesop
.
evalAesop
:
Lean.Elab.Tactic.Tactic
Instances For