Lean 4 skeleton: inverse-team structure of the 3n+1 map, and the remaining lemma isolated as equivalent to the Collatz conjecture. Does not prove Collatz. Author: Benjamin Stanley Frohman.
Lean Updated 9 days ago 1 commits
quark-coder|Mirror: BenFrohman/collatz-teaming-lemma (⭐0)
9 days agoAbout
Lean 4 skeleton: inverse-team structure of the 3n+1 map, and the remaining lemma isolated as equivalent to the Collatz conjecture. Does not prove Collatz. Author: Benjamin Stanley Frohman.
Readme