AxiomMath / PrimeGapsLib

git clone https://github.com/AxiomMath/PrimeGapsLib.git

Lean formalization of bounded gaps between primes

stars, 24h · #21,682

+~0

stars, 7 days · #22,157

+~0

stars, 30 days · #28,510

★ total

forks · 5 open issues

2026-10-20 · 44 ★ 2026-10-21 · 44 ★

LanguageLean

LicenseApache-2.0

Created2026-08-14 (2mo ago)

Last push2mo ago

OwnerOrganization