AlexKontorovichPrimeNumberTheoremAnd

Blueprint for the PNT+ Project
Displaying 1-4 of 4 packages depending on AlexKontorovich/PrimeNumberTheoremAnd
Sort by

  1. amellendijk/BVusesv4.35.0

    A Lean blueprint documenting a formalization of Bombieri-Vinogradov

  2. kim-em/ErdosUnitDistanceuses47fa486

    Formalization of Alpöge's disproof of the uniform-constant Erdős unit-distance conjecture (companion to mathlib4 branch kim/erdos-unit-distance)

  3. kim-em/ErdosUnitDistanceComparatoruses47fa486

    Independent comparator verification: the uniform-constant Erdős unit-distance conjecture is false (Alpöge 2026, formalized)

  4. ahhwuhu/Zeta3Irrationaluses5365476