/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Primary LanguageC++MIT LicenseMIT

Stargazers