BêtaRare
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 1 339
- Forks
- Forks : 129
- Langage
- C++
- Licence
- MIT
- Création
- 2023
- Sujets
- leanllm-inferencemachine-learningtheorem-provinglean4formal-mathematicsllm
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de lean-dojo
Les 6 dépôts de lean-dojo- lean-dojo/LeanDojoÉtoiles : 851PythonBêta
- lean-dojo/ReProverÉtoiles : 339PythonAlpha
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- lean-dojo/LeanDojo-v2Étoiles : 151PythonPrototype
- lean-dojo/LeanDojoChatGPTÉtoiles : 126PythonPrototype
D’autres dépôts C++
Tous les dépôts C++- eclipse-paho/paho.mqtt.cppÉtoiles : 1 339C++Bêta
- gameprogcpp/codeÉtoiles : 1 339C++Bêta
- DBraun/DawDreamerÉtoiles : 1 339C++Bêta
- kripken/speak.jsÉtoiles : 1 337C++Bêta