PrototypeCommune
openai/lean-gym
Pas de description.
Archivé : ce dépôt n’évolue plus
- Propriétaire
- openai (organisation)
- Étoiles
- Étoiles : 201
- Forks
- Forks : 34
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- 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 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- cmu-l3/llmleanÉtoiles : 216LeanPrototype
- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype
- leanprover/fp-leanÉtoiles : 204LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-ja/lean-by-exampleÉtoiles : 193LeanPrototype
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype