TorchLean API

Docs HomeGuideExamplesGraphs

Lean.Elab.Tactic.SimpArith

source
def Lean.Elab.Tactic.evalSimpArith :
Tactic
Instances For
    source
    def Lean.Elab.Tactic.evalSimpArithBang :
    Tactic
    Instances For
      source
      def Lean.Elab.Tactic.evalSimpAllArith :
      Tactic
      Instances For
        source
        def Lean.Elab.Tactic.evalSimpAllArithBang :
        Tactic
        Instances For