LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
formal-mathematicsleanlean4llm-inferencemachine-learningtheorem-proving
Github Data
Star 999
Fork 92
Subscriber 14
Language C++
Size 1.2K
owner
created at 2023-09-09
updated at 2024-11-20
pushed at 2024-11-04
