BetaRare
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
- Owner
- lean-dojo (organization)
- Stars
- Stars: 1,339
- Forks
- Forks: 129
- Language
- C++
- License
- MIT
- Created
- 2023
- Topics
- leanllm-inferencemachine-learningtheorem-provinglean4formal-mathematicsllm
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by lean-dojo
All 6 repos by lean-dojo- lean-dojo/LeanDojoStars: 851PythonBeta
- lean-dojo/ReProverStars: 339PythonAlpha
- lean-dojo/TorchLeanStars: 192LeanPrototype
- lean-dojo/LeanDojo-v2Stars: 151PythonPrototype
- lean-dojo/LeanDojoChatGPTStars: 126PythonPrototype
Nearby in C++
All C++ repos- DBraun/DawDreamerStars: 1,340C++Beta
- eclipse-paho/paho.mqtt.cppStars: 1,339C++Beta
- gameprogcpp/codeStars: 1,339C++Beta
- kripken/speak.jsStars: 1,338C++Beta
- nvidia-isaac/nvbloxStars: 1,336C++Beta