StableVery rare
openai/math
No description.
- Owner
- openai (organization)
- Stars
- Stars: 17,259
- Forks
- Forks: 1,941
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Stable (5,000 to 19,999 ★) What this tier means
More repos by openai
All 187 repos by openai- openai/codexStars: 132,792RustLTS
- openai/whisperStars: 111,750PythonLTS
- openai/openai-cookbookStars: 76,911Jupyter NotebookLTS
- openai/gymStars: 37,231PythonLTS
- openai/codex-plugin-ccStars: 34,797JavaScriptLTS
- openai/CLIPStars: 34,553Jupyter NotebookLTS
Nearby in Lean
All Lean repos- leanprover/lean4Stars: 9,820LeanStable
- leanprover-community/mathlib4Stars: 4,414LeanRC
- openai/NavierStokesAndEulerStars: 2,119LeanRC