AIbase
Product LibraryTool NavigationMCP

LeanCopilot

Public

LLMs as Copilots for Theorem Proving in Lean

Creat2023-09-09T09:52:22
Update2025-03-23T19:59:20
https://leandojo.org
1.1K
Stars
2
Stars Increase

Related projects