PrototypeCommune
lean-dojo/LeanDojo-v2
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 151
- Forks
- Forks : 23
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- lean4librarymachine-learningtheorem-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/LeanDojoChatGPTÉtoiles : 126PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- xiazhuo123456789/vibe-knowledge-videoÉtoiles : 151PythonPrototype
- AlibabaResearch/abenchÉtoiles : 151PythonPrototype
- NousResearch/hermes-labs-pluginsÉtoiles : 151PythonPrototype
- ntt/reverenceÉtoiles : 151PythonPrototype
- holland-backup/hollandÉtoiles : 151PythonPrototype
- maraujop/django-rulesÉtoiles : 151PythonPrototype