#

almost-all-orbits

Here are 3 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 / FirstPassageLinearTransport

First-passage linear transport for stretched-logarithmic natural-density Collatz descent

proof-assistant number-theory collatz-conjecture mathlib lean4 formalized-mathematics first-passage polylogarithmic-descent natural-density almost-all-orbits

Updated Sep 6, 2026
Lean

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 almost-all-orbits topic, visit your repo's landing page and select "manage topics."