Documentation
Lean
.
Meta
.
Tactic
Search
Google site search
return to top
source
Imports
Init
Lean.Meta.Tactic.AC
Lean.Meta.Tactic.Apply
Lean.Meta.Tactic.Assert
Lean.Meta.Tactic.Assumption
Lean.Meta.Tactic.AuxLemma
Lean.Meta.Tactic.Cases
Lean.Meta.Tactic.Cleanup
Lean.Meta.Tactic.Clear
Lean.Meta.Tactic.Congr
Lean.Meta.Tactic.Constructor
Lean.Meta.Tactic.Contradiction
Lean.Meta.Tactic.Delta
Lean.Meta.Tactic.ElimInfo
Lean.Meta.Tactic.Generalize
Lean.Meta.Tactic.Induction
Lean.Meta.Tactic.Intro
Lean.Meta.Tactic.LinearArith
Lean.Meta.Tactic.Refl
Lean.Meta.Tactic.Rename
Lean.Meta.Tactic.Replace
Lean.Meta.Tactic.Revert
Lean.Meta.Tactic.Rewrite
Lean.Meta.Tactic.Simp
Lean.Meta.Tactic.Split
Lean.Meta.Tactic.SplitIf
Lean.Meta.Tactic.Unfold
Imported by