Documentation
Batteries
.
Tactic
.
Lint
.
Misc
Search
return to top
source
Imports
Init
Lean.DocString
Lean.Meta.Check
Lean.Meta.GlobalInstances
Lean.Util.CollectLevelParams
Lean.Util.ForEachExpr
Lean.Util.Recognizers
Batteries.Tactic.Lint.Basic
Imported by