GitHub repos by lean-dojo
6 public repos by lean-dojo in the catalog, most starred first.
- lean-dojo/LeanCopilotStars: 1,339C++Beta
- lean-dojo/LeanDojoStars: 852PythonBeta
- lean-dojo/ReProverStars: 340PythonAlpha
- lean-dojo/TorchLeanStars: 192LeanPrototype
- lean-dojo/LeanDojo-v2Stars: 151PythonPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype