Documentation
Lean
.
Linter
Search
return to top
source
Imports
Lean.Linter.Builtin
Lean.Linter.CheckUnivs
Lean.Linter.Coe
Lean.Linter.ConstructorAsVariable
Lean.Linter.DefProp
Lean.Linter.Deprecated
Lean.Linter.DocsOnAlt
Lean.Linter.EnvLinter
Lean.Linter.Extra
Lean.Linter.GlobalAttributeIn
Lean.Linter.List
Lean.Linter.MissingDocs
Lean.Linter.Omit
Lean.Linter.PersistentLintLog
Lean.Linter.Sets
Lean.Linter.TacticTypeCheck
Lean.Linter.UnusedSimpArgs
Lean.Linter.UnusedVariables
Lean.Linter.Util
Imported by