lean-dojo / LeanCopilotLinks

LLMs as Copilots for Theorem Proving in Lean
1,094Updated this week

Alternatives and similar repositories for LeanCopilot

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

Sorting: