Compfiles
Generated by a source-level scanner, plus a Lean run where it succeeded: see the Trust page. Trust is UNKNOWN wherever Lean did not run. Indented declarations and macro-generated declarations are not listed.
- Lean files
- 545
- Declarations
- 8794
- Contain sorry
- 5
- Axioms
- 0
Lean4 Domain Explanation Language (L4DEL): 3313 annotated, 0 flagged (errors or placeholders), 5402 without an L4DEL annotation. Run lean4-explainer annotate --file <path> for templates. Lean run with Lean (version 4.34.0, x86_64-w64-windows-gnu, commit 293d5d0c0c3f3dded4688b3ccd6a33939ac5102b, Release) (cache-only rendering).
8794 declarations, 5 contain sorry, 0 declared as axioms; 545 files
Folders
- Compfiles/ 520 files, 8635 declarations
- Dashboard/ 15 files, 77 declarations
- ProblemExtraction/ 1 files, 19 declarations
- SSG/ 5 files, 62 declarations
Files
- Compfiles.lean 520 imports, no declarations
- Dashboard.lean 1 import, no declarations
- ProblemExtraction.lean 1 declarations
- SSG.lean 5 imports, no declarations