b-mehtaPrimeCert0.1.0

Formal prime certificates in Lean 4
#math
Displaying 1-4 of 4 packages depending on b-mehta/PrimeCert
Sort by

  1. Beneficial-AI-Foundation/Curve25519Dalekusesv4.31.0

    Verifying curve25519-dalek using Lean

  2. kim-em/ErdosUnitDistanceusesv4.32.0-rc1

    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/ErdosUnitDistanceComparatorusesv4.32.0-rc1

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

  4. AlexKontorovich/PrimeNumberTheoremAndusesv4.32.0-rc1

    Blueprint for the PNT+ Project