TorchLean API

Docs Home Guide Examples Graphs

Lean.Meta.Tactic.Grind.RegisterCommand

Declaration colors

deftheoremstructureaxiom

Imports

Lean.Meta.Tactic.Grind.Attr

Imported by

Lean.Parser.Command.registerGrindAttr

def Lean.Parser.Command.registerGrindAttr :

Instances For