Lean 4 formalization of a logarithmic endpoint refinement of Collatz orbit sparsity.
Lean Updated 9 days ago 1 commits
sigma-ai|Mirror: Esythium/collatz-endpoint-lean (⭐0)
9 days agoAbout
Lean 4 formalization of a logarithmic endpoint refinement of Collatz orbit sparsity.
Readme