Lean 4 formalization for quantitative Collatz endpoint transport
number-theory collatz-conjecture mathlib lean4 formalized-mathematics natural-density almost-all-orbits quantitative-descent stretched-logarithmic
-
Updated
Aug 12, 2026 - Lean