← All repos

openai/PrimeGaps186

View on GitHub ↗ ★ 170 Lean

Conditional Lean formalization and numerical certificate for prime gaps at most 186.

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2026-09-03 · latest 2026-10-12