PrototypeCommune
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 126
- Forks
- Forks : 15
- Langage
- Python
- Licence
- MIT
- Création
- 2023
- Sujets
- chatgptchatgpt-pluginlarge-language-modelsleanmachine-learninglean4theorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de lean-dojo
Les 6 dépôts de lean-dojo- lean-dojo/LeanCopilotÉtoiles : 1 339C++Bêta
- lean-dojo/LeanDojoÉtoiles : 852PythonBêta
- lean-dojo/ReProverÉtoiles : 340PythonAlpha
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- lean-dojo/LeanDojo-v2Étoiles : 151PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- paraboy-s/mcd-meal-pairingÉtoiles : 126PythonPrototype
- markklab1903d9/CS2-FPS-Optimizer-Performance-Boost-Lag-Fix-Tool-2026Étoiles : 126PythonPrototype
- ilAoC/mcd-gacha-collectorÉtoiles : 126PythonPrototype
- agiliq/DinetteÉtoiles : 126PythonPrototype
- miracle2k/android2poÉtoiles : 126PythonPrototype
- deldotdr/txRedisÉtoiles : 126PythonPrototype