GitHub / lean-dojo / LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lean-dojo%2FLeanDojoChatGPT
PURL: pkg:github/lean-dojo/LeanDojoChatGPT

Stars: 118
Forks: 14
Open issues: 1

License: mit
Language: Python
Size: 344 KB
Dependencies parsed at: Pending

Created at: about 2 years ago
Updated at: 3 months ago
Pushed at: over 1 year ago
Last synced at: 3 months ago

Topics: chatgpt, chatgpt-plugin, large-language-models, lean, lean4, machine-learning, theorem-proving

Loading...