RCEpic
openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
- Owner
- openai (organization)
- Stars
- Stars: 2,121
- Forks
- Forks: 227
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- RC (2,000 to 4,999 ★) 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- openai/mathStars: 17,283LeanStable
- leanprover/lean4Stars: 9,836LeanStable
- leanprover-community/mathlib4Stars: 4,418LeanRC
- teorth/analysisStars: 1,979LeanBeta
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- google-deepmind/formal-conjecturesStars: 1,346LeanBeta