AlphaUncommon
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
- Owner
- lean-dojo (organization)
- Stars
- Stars: 340
- Forks
- Forks: 73
- Language
- Python
- License
- MIT
- Created
- 2023
- Topics
- leanmachine-learningtheorem-provinglean4llm
- Tier
- Alpha (250 to 699 ★) 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/TorchLeanStars: 192LeanPrototype
- lean-dojo/LeanDojo-v2Stars: 151PythonPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype
Nearby in Python
All Python repos- ios-bundles/CarrierSIMStars: 340PythonAlpha
- Entelligence-AI/agentplayStars: 340PythonAlpha
- atbfun/ATBGamePortStars: 340PythonAlpha
- ros/catkinStars: 340PythonAlpha
- TheSpyder/SyncedSideBarStars: 340PythonAlpha
- vikstrous/pirate-getStars: 340PythonAlpha