#

almost-all-orbits

Here are 3 public repositories matching this topic...

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

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 19, 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 Aug 21, 2026
Lean

Improve this page

Add a description, image, and links to the almost-all-orbits topic page so that developers can more easily learn about it.

Curate this topic

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."