GitHub repository: token-cjg/LeanDojoChatGPT
Description: ChatGPT plugin for theorem proving in Lean