lean-dojo / LeanDojoChatGPTLinks

ChatGPT plugin for theorem proving in Lean
121Updated last year

Alternatives and similar repositories for LeanDojoChatGPT

Users that are interested in LeanDojoChatGPT are comparing it to the libraries listed below

Sorting: