Dépôts de lean-dojo
6 dépôts publics de lean-dojo au catalogue, du plus étoilé au moins étoilé.
- lean-dojo/LeanCopilotÉtoiles : 1 339C++Bêta
- 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