Mathematics · proofs · software

Proof Path Theory · Lean sources

Proof Path Theory

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.

Edit and run in your browser

Source files 31

Source locations and editions

Files are shown relative to formal/.

Historical editions keep their original paths. Package caches and build files are omitted.

31 files