The K-COS Method · Lean source
KomorebiQCOS.lean
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.
Local imports (2)
KomorebiQCOS.lean2 lines
Original source path
lean/KomorebiQCOS.leanOriginal file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: bcb37c097900d25f5ede6ee18039453d3f9952d17bf79cc2fb2f11252b1d9982