Published August 20, 2026
| Version v1
Software
Open
Collatz Conjecture proof - Lean certificate
Description
Lean code (compiled with 4.34.0-rc1) to verify my Collatz Conjecture proof [https://zenodo.org/records/21960650].
#print axioms CollatzConjectureIsTrue: 'CollatzProof.CollatzConjectureIsTrue' depends on axioms: [propext, Classical.choice, Quot.sound].
Files
Files
(15.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f9345f3f4578d47e1804061654d2d27d
|
15.9 kB | Download |
Additional details
Dates
- Submitted
-
2026-08-20