LLMs as Copilots for Theorem Proving in Lean
Primary LanguageC++MIT LicenseMIT
No issues in this repository yet.