This repository contains a complete formal verification of the Collatz Conjecture in Lean 4 with Mathlib. The proof establishes that for every positive integer n, repeated application of the map T(n) ...
Exploring the convergence structure of the Collatz sequence through delay embeddings, phase portraits, and the surprising role of the Euler totient function φ. This project is positioned as a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results