FormalConjecturesTest/Util/Linters/
59 declarations, 16 contain sorry, 1 declared as axioms; 10 files
Files
- AMSLinter.lean 12 declarations
- CategoryAnswerLinter.lean 5 declarations
- CategoryLinter.lean 15 declarations
- ExistsImplicationLinter.lean 3 declarations
- FormalProofLinter.lean 9 declarations
- ImportLinter.lean 0 declarations
- ModuleDocstringLinter.lean 0 declarations
- ModuleDocstringLinterImport.lean 0 declarations
- NamespaceLinter.lean 6 declarations
- StubLinter.lean 9 declarations