/LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

Primary LanguagePythonMIT LicenseMIT

Stargazers