b-mehtaPrimeCert0.1.0

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

  1. Beneficial-AI-Foundation/Curve25519Dalekusesv4.30.0-rc2

    Verifying curve25519-dalek using Lean

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.30.0

    Blueprint for the PNT+ Project