openai / PrimeGaps186
git clone https://github.com/openai/PrimeGaps186.git
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
168
★ total
13
forks · 0 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLean
LicenseApache-2.0
Created2026-09-02 (1mo ago)
Last push1mo ago
OwnerOrganization