The K-COS Method · Lean sources

COS Method

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.

Source files 7

Source locations and editions

Files are shown relative to lean/.

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

7 files