TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

NN.Tactic.Init

Shared rule-set declarations for TorchLean's proof tactics.

source
def Parser.Attr.autograd_simps_proc :
Lean.ParserDescr

Simplification procedure

Instances For
    source
    def Parser.Attr.autograd_simps :
    Lean.ParserDescr

    Proved operation identities used inside autograd, without changing ordinary simp.

    Instances For