Langlib
Lean
.
Linter
Search
return to top
source
Imports
Lean.Linter.Builtin
Lean.Linter.Coe
Lean.Linter.ConstructorAsVariable
Lean.Linter.Deprecated
Lean.Linter.DocsOnAlt
Lean.Linter.List
Lean.Linter.MissingDocs
Lean.Linter.Omit
Lean.Linter.Sets
Lean.Linter.UnusedSimpArgs
Lean.Linter.UnusedVariables
Lean.Linter.Util
Imported by
Langlib