PrototypeCommon
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
- Owner
- lean-dojo (organization)
- Stars
- Stars: 126
- Forks
- Forks: 15
- Language
- Python
- License
- MIT
- Created
- 2023
- Topics
- chatgptchatgpt-pluginlarge-language-modelsleanmachine-learninglean4theorem-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/LeanDojo-v2Stars: 151PythonPrototype
Nearby in Python
All Python repos- paraboy-s/mcd-meal-pairingStars: 126PythonPrototype
- markklab1903d9/CS2-FPS-Optimizer-Performance-Boost-Lag-Fix-Tool-2026Stars: 126PythonPrototype
- ilAoC/mcd-gacha-collectorStars: 126PythonPrototype
- agiliq/DinetteStars: 126PythonPrototype
- miracle2k/android2poStars: 126PythonPrototype
- deldotdr/txRedisStars: 126PythonPrototype