AlphaPeu commune
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 339
- Forks
- Forks : 73
- Langage
- Python
- Licence
- MIT
- Création
- 2023
- Sujets
- leanmachine-learningtheorem-provinglean4llm
- Rang
- Alpha (250 à 699 ★) 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 : 851PythonBêta
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- lean-dojo/LeanDojo-v2Étoiles : 151PythonPrototype
- lean-dojo/LeanDojoChatGPTÉtoiles : 126PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- lzh-phd/topic-feasibility-screenerÉtoiles : 339PythonAlpha
- crawfordxx/xiaoma-durex-copywriterÉtoiles : 339PythonAlpha
- ios-bundles/CarrierSIMÉtoiles : 339PythonAlpha
- twisted/txmongoÉtoiles : 339PythonAlpha
- hmason/gitmarksÉtoiles : 339PythonAlpha
- seveas/python-hpiloÉtoiles : 339PythonAlpha