AxiomMathPrimeGapsLib0.1.0

Lean formalization of bounded gaps between primes
Displaying 1-1 of 1 versions of PrimeGapsLib
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    a month ago
    Released on August 18, 2026 at 6:28:40PM
    Commit 1faa7b1 builds on its old leanprover/lean4:v4.33.0-rc1
    v4.33.0-rc1
    87.7 MB Build archive size: 87728833 bytes.