Published August 15, 2026
| Version v1
Software
Open
Collatz Conjecture proof - Lean code
Description
Lean code (v 4.33.0) to verify the Collatz Conjecture proof. See https://zenodo.org/records/21960650 for the pdf version of the proof.
Files
Files
(11.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a01a91a5ee927b346a1d4916924a961
|
11.1 kB | Download |
Additional details
Dates
- Submitted
-
2026-08-15