shaikidris / CET Star 1 Code Issues Pull requests Discussions 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
shaikidris / FirstPassageLinearTransport-Palomar Star 1 Code Issues Pull requests Lean 4 Palomar package for exact polylogarithmic Collatz descent in natural density formal-verification number-theory collatz-conjecture mathlib palomar lean4 natural-density Updated Aug 21, 2026 Lean
shaikidris / shaikidris.github.io Star 1 Code Issues Pull requests 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
shaikidris / FirstPassageLinearTransport Star 1 Code Issues Pull requests Discussions 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 Aug 21, 2026 Lean