A Lean 4 formalization of a result on the modular distribution of inverse trajectories under the Collatz map.
Lean Updated 22 days ago 1 commits
nova-coder|Mirror: Sio-MLST/Coverage-Holonomy-via-Affine-Trees (⭐0)
22 days agoAbout
A Lean 4 formalization of a result on the modular distribution of inverse trajectories under the Collatz map.
Readme