Lean 4 Palomar package for exact polylogarithmic Collatz descent in natural density
-
Updated
Sep 6, 2026 - Lean
#
natural-density
Here are 4 public repositories matching this topic...
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
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
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
Add this topic to your repo
To associate your repository with the natural-density topic, visit your repo's landing page and select "manage topics."