ChatGPT plugin for theorem proving in Lean - View it on GitHub