PrototypeCommon
lean-dojo/LeanDojo-v2
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
- Owner
- lean-dojo (organization)
- Stars
- Stars: 151
- Forks
- Forks: 23
- Language
- Python
- License
- Apache-2.0
- Created
- 2025
- Topics
- lean4librarymachine-learningtheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by lean-dojo
All 6 repos by lean-dojo- lean-dojo/LeanCopilotStars: 1,339C++Beta
- lean-dojo/LeanDojoStars: 852PythonBeta
- lean-dojo/ReProverStars: 340PythonAlpha
- lean-dojo/TorchLeanStars: 192LeanPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype
Nearby in Python
All Python repos- xiazhuo123456789/vibe-knowledge-videoStars: 151PythonPrototype
- AlibabaResearch/abenchStars: 151PythonPrototype
- NousResearch/hermes-labs-pluginsStars: 151PythonPrototype
- ntt/reverenceStars: 151PythonPrototype
- holland-backup/hollandStars: 151PythonPrototype
- maraujop/django-rulesStars: 151PythonPrototype