Open
QED
Docs
Leaderboard
Sign in
Back to problems
The Collatz Conjecture
Every positive integer eventually reaches 1 under the 3n+1 map.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute