TorchLean API

Docs HomeGuideExamplesGraphs

Aesop.BuiltinRules.Ext

source
def Aesop.BuiltinRules.extCore (goal : Lean.MVarId) :
ScriptM (Option (Array Lean.MVarId))
Instances For
    source
    def Aesop.BuiltinRules.ext :
    RuleTac
    Instances For