HepLean Documentation
Lean
.
Linter
Search
Google site search
return to top
source
Imports
Lean.Linter.Builtin
Lean.Linter.ConstructorAsVariable
Lean.Linter.Deprecated
Lean.Linter.MissingDocs
Lean.Linter.Omit
Lean.Linter.UnusedVariables
Lean.Linter.Util
Imported by