A proof of the Collatz Conjecture
Author: Kaia Räsänen
Date: July 2025
Lean version: nightly-2024-07-13
Mathlib: mathlib4@nightly
Statement
Mikko Lukas Räsänen mikkolukas
mikkolukas
/ collatz_conjecture_proof.md
Last active
July 13, 2025 12:55