Geeks
lean-dojo
/
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Primary Language
C++
MIT License
MIT
LeanCopilot Home Page
LeanCopilot GitHub
Markdown
Readme
37
Issues
956
Stargazers
12
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
animakumar
eemailme
eliyara
Bay Area, North Cal
hsfzitedu
HSFZ
hydrogeohc
GenAI research engineer
kliymkoffsky
🌍
Lalith-1
Synopsys
Peiyang-Song
California Institute of Technology
romac
@informalsystems
tamil-phy
yangky11
Meta Fundamental AI Research (FAIR)