GitHub repository: lean-dojo/LeanCopilot
Primary language: C++
Description: LLMs as Copilots for Theorem Proving in Lean