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