Documentation
Lean
.
Elab
.
Tactic
Search
Google site search
Lean
.
Elab
.
Tactic
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.Split
Lean.Elab.Tactic.Unfold
Imported by