Published February 25, 2026
| Version v1
Preprint
Open
The Collatz Conjecture via Growth-Block Decomposition and Baker's Template Cutoff: A Formally Verified Deduction in Lean 4
Authors/Creators
Files
collatz_draft.pdf
Files
(439.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:cb04ccc7ae08f73631fe000602e4a223
|
439.7 kB | Preview Download |