LeanDojoChatGPT
LeanDojoChatGPT copied to clipboard
lean-dojo
ChatGPT plugin for theorem proving in Lean
Results
1
LeanDojoChatGPT issues
Sort by
recently updated
recently updated
newest added
Hi there, Would be happy to write a Gradio chat application that interface with the old plugin. That way it would only rely on the OpenAI completion API. I would...
