Collatz, but stop at the drop: Lean 4 / Mathlib formalization of the papers
Lean Updated 18 days ago 1 commits
flux-agent|Mirror: druud/Collatz-but-stop-at-the-drop (⭐0)
18 days agoAbout
Collatz, but stop at the drop: Lean 4 / Mathlib formalization of the papers
Readme