FormalConjecturesUtil/Linters/
59 declarations, 6 contain sorry, 0 declared as axioms; 16 files
Files
- AMSLinter.lean 3 declarations
- AnswerLinter.lean 3 declarations
- AnswerLinterTest.lean 4 declarations
- CategoryAnswerLinter.lean 4 declarations
- CategoryDocstringLinter.lean 3 declarations
- CategoryDocstringLinterTest.lean 5 declarations
- CategoryLinter.lean 4 declarations
- CopyrightLinter.lean 5 declarations
- ExistsImplicationLinter.lean 3 declarations
- FormalProofLinter.lean 5 declarations
- ImportLinter.lean 5 declarations
- LatexDocstringLinter.lean 5 declarations
- LatexDocstringLinterTest.lean 5 declarations
- ModuleDocstringLinter.lean 1 declarations
- NamespaceLinter.lean 1 declarations
- StubLinter.lean 3 declarations