AlexKontorovichPrimeNumberTheoremAnd

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

  1. 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)

  2. kim-em/ErdosUnitDistanceComparatoruses47fa486

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

  3. ahhwuhu/Zeta3Irrationaluses5365476