PrototypeCommon
openai/PrimeGaps186
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
- Owner
- openai (organization)
- Stars
- Stars: 169
- Forks
- Forks: 14
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by openai
All 187 repos by openai- openai/codexStars: 132,933RustLTS
- openai/whisperStars: 111,833PythonLTS
- openai/openai-cookbookStars: 76,928Jupyter NotebookLTS
- openai/gymStars: 37,230PythonLTS
- openai/codex-plugin-ccStars: 34,825JavaScriptLTS
- openai/CLIPStars: 34,561Jupyter NotebookLTS
Nearby in Lean
All Lean repos- formalabstracts/formalabstractsStars: 170LeanPrototype
- Verified-zkEVM/VCVioStars: 170LeanPrototype
- josevalim/lynxStars: 170LeanPrototype
- verse-lab/loomStars: 167LeanPrototype
- Verilean/sparkleStars: 167LeanPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype