Documentation
Lean
.
Elab
.
Tactic
Search
Google site search
return to top
source
Imports
Init
Lean.Elab.Term
Lean.Elab.Tactic.Basic
Lean.Elab.Tactic.BuiltinTactic
Lean.Elab.Tactic.Cache
Lean.Elab.Tactic.Calc
Lean.Elab.Tactic.Congr
Lean.Elab.Tactic.Conv
Lean.Elab.Tactic.Delta
Lean.Elab.Tactic.ElabTerm
Lean.Elab.Tactic.Generalize
Lean.Elab.Tactic.Induction
Lean.Elab.Tactic.Injection
Lean.Elab.Tactic.Location
Lean.Elab.Tactic.Match
Lean.Elab.Tactic.Meta
Lean.Elab.Tactic.Rewrite
Lean.Elab.Tactic.Simp
Lean.Elab.Tactic.Simproc
Lean.Elab.Tactic.Split
Lean.Elab.Tactic.Unfold
Imported by