openai / LongGapsBetweenPrimes
git clone https://github.com/openai/LongGapsBetweenPrimes.git
A Lean formalization of a bound concerning long gaps between primes
+1
stars, 24h · #8,785
+~7
stars, 7 days · #9,433
+~30
stars, 30 days · #15,379
46
★ total · +7% this week
3
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-02 (1mo ago)
Last push1mo ago
OwnerOrganization