b-mehtaPrimeCert0.1.0

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

  1. mo271/Aperyusesv4.33.0

  2. Beneficial-AI-Foundation/Curve25519Dalekusesv4.31.0

    Verifying curve25519-dalek using Lean

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

  4. kim-em/ErdosUnitDistanceComparatorusesv4.32.0-rc1

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

  5. AlexKontorovich/PrimeNumberTheoremAndusesv4.33.0

    Blueprint for the PNT+ Project