TorchLean API

Docs HomeGuideExamplesGraphs

Aesop.Tree.ExtractProof

source
def Aesop.Goal.extractProof (root : Goal) :
Lean.MetaM Unit
Instances For
    source
    def Aesop.extractProof :
    TreeM Unit
    Instances For
      source
      def Aesop.Goal.extractSafePrefix (root : Goal) :
      Lean.MetaM (Array Lean.MVarId)
      Instances For
        source
        def Aesop.extractSafePrefix :
        TreeM (Array Lean.MVarId)
        Instances For