BetaRare
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
- Owner
- lean-dojo (organization)
- Stars
- Stars: 852
- Forks
- Forks: 122
- Language
- Python
- License
- MIT
- Created
- 2023
- Topics
- leanmachine-learningtheorem-provinglean4llm
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by lean-dojo
All 6 repos by lean-dojo- lean-dojo/LeanCopilotStars: 1,339C++Beta
- lean-dojo/ReProverStars: 340PythonAlpha
- lean-dojo/TorchLeanStars: 192LeanPrototype
- lean-dojo/LeanDojo-v2Stars: 151PythonPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype
Nearby in Python
All Python repos- lukemelas/PyTorch-Pretrained-ViTStars: 852PythonBeta
- pypdfium2-team/pypdfium2Stars: 852PythonBeta
- aiola-lab/whisper-medusaStars: 852PythonBeta
- CriticMarkup/CriticMarkup-toolkitStars: 852PythonBeta
- philipn/django-rest-framework-filtersStars: 852PythonBeta
- SeldomQA/seldomStars: 852PythonBeta