Home

LeanCopilot

Public

LLMs as Copilots for Theorem Proving in Lean

Creat:2023-09-09T09:52:22
Update:2025-03-23T19:59:20
https://leandojo.org
1.2K
Stars
4
Stars Increase

Related projects