Graduate-level interactive explainer for quantitative Collatz descent
number-theory collatz-conjecture research-website lean4 formalized-mathematics polylogarithmic-descent natural-density almost-all-orbits quantitative-descent
-
Updated
Aug 19, 2026 - HTML