RCÉpique
openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
- Propriétaire
- openai (organisation)
- Étoiles
- Étoiles : 2 119
- Forks
- Forks : 225
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de openai
Les 187 dépôts de openai- openai/codexÉtoiles : 132 792RustLTS
- openai/whisperÉtoiles : 111 750PythonLTS
- openai/openai-cookbookÉtoiles : 76 911Jupyter NotebookLTS
- openai/gymÉtoiles : 37 231PythonLTS
- openai/codex-plugin-ccÉtoiles : 34 797JavaScriptLTS
- openai/CLIPÉtoiles : 34 553Jupyter NotebookLTS
D’autres dépôts Lean
Tous les dépôts Lean- openai/mathÉtoiles : 17 259LeanStable
- leanprover/lean4Étoiles : 9 820LeanStable
- leanprover-community/mathlib4Étoiles : 4 414LeanRC
- teorth/analysisÉtoiles : 1 979LeanBêta
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- google-deepmind/formal-conjecturesÉtoiles : 1 343LeanBêta