BêtaRare
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
- Propriétaire
- lean-dojo (organisation)
- Étoiles
- Étoiles : 851
- Forks
- Forks : 122
- Langage
- Python
- Licence
- MIT
- Création
- 2023
- Sujets
- leanmachine-learningtheorem-provinglean4llm
- 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/LeanCopilotÉtoiles : 1 339C++Bê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 Python
Tous les dépôts Python- perrypixel/10x-Tool-CallsÉtoiles : 851PythonBêta
- modoojunko/awesome-novel-agentÉtoiles : 851PythonBêta
- netease-youdao/Confucius4-TTSÉtoiles : 851PythonBêta
- dipy/dipyÉtoiles : 851PythonBêta
- squ1b3r/DjaneiroÉtoiles : 851PythonBêta
- wdas/reposadoÉtoiles : 851PythonBêta