LeanDojoChatGPT icon indicating copy to clipboard operation
LeanDojoChatGPT copied to clipboard

Published 20 hours ago • verified publisher icon lean-dojo
→

Metadata

ChatGPT plugin for theorem proving in Lean

Results 1 LeanDojoChatGPT issues
Sort by recently updated
recently updated
newest added

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...

priamai avatar priamai

← Metadata

112
Stars
13
Forks
Watchers

Owner

verified publisher icon lean-dojo

Metadata

ChatGPT plugin for theorem proving in Lean

Back