LeanDojoChatGPT
LeanDojoChatGPT copied to clipboard
Contribution Gradio chat
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 need some basic diagram to understand the call sequence. Cheers.