PrototypeCommune
openai/cdc-lean
Pas de description.
- Propriétaire
- openai (organisation)
- Étoiles
- Étoiles : 136
- Forks
- Forks : 19
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de openai
Les 187 dépôts de openai- openai/codexÉtoiles : 132 583RustLTS
- openai/whisperÉtoiles : 111 669PythonLTS
- openai/openai-cookbookÉtoiles : 76 900Jupyter NotebookLTS
- openai/gymÉtoiles : 37 231PythonLTS
- openai/codex-plugin-ccÉtoiles : 34 777JavaScriptLTS
- openai/CLIPÉtoiles : 34 550Jupyter NotebookLTS
D’autres dépôts Lean
Tous les dépôts Lean- kim-em/lean-zipÉtoiles : 139LeanPrototype
- goedelcodeprover/Goedel-Code-ProverÉtoiles : 138LeanPrototype
- leanprover/reference-manualÉtoiles : 137LeanPrototype
- jesse-michael-han/lean-gptfÉtoiles : 135LeanPrototype
- eric-wieser/lean-matrix-cookbookÉtoiles : 135LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype