Pinned Loading

1. FirstPassageLinearTransport-Palomar FirstPassageLinearTransport-Palomar Public

   Lean 4 Palomar package for exact polylogarithmic Collatz descent in natural density

   Lean 2 1

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 1

3. shaikidris.github.io shaikidris.github.io Public

   Graduate-level interactive explainer for quantitative Collatz descent

   HTML 1

4. prime-star-spectra-formalization prime-star-spectra-formalization Public

   Lean 4 formalization of uniform second-order adjacency spectra, localization, and dynamics for finite prime-cover graphs.

   Lean 2 1

5. CollatzEndpointTransport-Palomar CollatzEndpointTransport-Palomar Public

   Palomarized version of CollatzEndpointTransport Lean project

   Lean 2 1