lean-dojo / LeanCopilotLinks

LLMs as Copilots for Theorem Proving in Lean
1,108Updated 2 weeks ago

Alternatives and similar repositories for LeanCopilot

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

Sorting: