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/Curve25519Dalekuses3bc7e58

    Verifying curve25519-dalek using Lean

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.29.0

    Blueprint for the PNT+ Project