All Lean sources Read the paper Work overview Read side by side Selected results recorded Coverage and evidence Compiler/replay evidence is reported for a subset or bounded block. No whole-work coverage is implied.
This viewer reads the retained source; it does not run Lean or assign new claim mappings.
Coverage and setup Recorded evidence The selected sources include the inherited finite core, coupled production modules through SF-LEAN-B17, audit files, and controls. The source guide distinguishes their roles and recorded coverage.
Current source and coverage guide
Edit and run in your browser Source files 47 Source locations and editions Files are shown relative to lean/.
Historical editions keep their original paths. Package caches and build files are omitted.
47 files
648 lines · 68 declaration locations 607 lines · 68 declaration locations 253 lines · 25 declaration locations 23 lines · 0 declaration locations 311 lines · 31 declaration locations 25 lines · 0 declaration locations 277 lines · 22 declaration locations 21 lines · 0 declaration locations 426 lines · 47 declaration locations 38 lines · 0 declaration locations 466 lines · 47 declaration locations 31 lines · 0 declaration locations 161 lines · 14 declaration locations 15 lines · 0 declaration locations 238 lines · 30 declaration locations 24 lines · 0 declaration locations 345 lines · 44 declaration locations 32 lines · 0 declaration locations 242 lines · 21 declaration locations 18 lines · 0 declaration locations 297 lines · 40 declaration locations 32 lines · 0 declaration locations 330 lines · 41 declaration locations 29 lines · 0 declaration locations 268 lines · 26 declaration locations 24 lines · 0 declaration locations 324 lines · 24 declaration locations 21 lines · 0 declaration locations 408 lines · 49 declaration locations 45 lines · 0 declaration locations 477 lines · 29 declaration locations 28 lines · 0 declaration locations 235 lines · 18 declaration locations 18 lines · 0 declaration locations 552 lines · 45 declaration locations 36 lines · 0 declaration locations 603 lines · 68 declaration locations 7 lines · 0 declaration locations 7 lines · 0 declaration locations 7 lines · 0 declaration locations 7 lines · 0 declaration locations 7 lines · 0 declaration locations 44 lines · 0 declaration locations 9 lines · 0 declaration locations 5 lines · 0 declaration locations 7 lines · 0 declaration locations 6 lines · 0 declaration locations The complete file list works without JavaScript. Use your browser’s Find command to search file paths.
