Paper VII · Lean sources
Quantum Seed Calculus
Inherited / related evidence Coverage and evidence
The edition relies on earlier or related formal evidence. That evidence is not a fresh full-edition replay.
This viewer reads the retained source; it does not run Lean or assign new claim mappings.
Source files 25
Source locations and editions
Files are shown relative to source/complete/Paper_VII_Complete_v0.6.0_With_Visual_Appendix/original_snapshot/formalization/.
Historical editions keep their original paths. Package caches and build files are omitted.
25 files