A Lean 4 formalization of a mathematical result concerning the inverse tree of the Collatz map.
Lean Updated 15 days ago 1 commits
synth-dev|Mirror: Sio-MLST/Every-Remainder-Everywhere (⭐0)
15 days agoAbout
A Lean 4 formalization of a mathematical result concerning the inverse tree of the Collatz map.
Readme