#

quantitative-descent

Here are 2 public repositories matching this topic...

shaikidris / shaikidris.github.io

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 27, 2026
HTML

shaikidris / CET

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

Add this topic to your repo

To associate your repository with the quantitative-descent topic, visit your repo's landing page and select "manage topics."