Documentation
Lean
.
Linter
Search
return to top
source
Imports
Lean.Linter.AmbiguousOpen
Lean.Linter.Builtin
Lean.Linter.CheckUnivs
Lean.Linter.CodeQuality
Lean.Linter.Coe
Lean.Linter.ConstructorAsVariable
Lean.Linter.CoreInternal
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
← Mathematical handbook