#Formal-mathematics

Showing 1 of 1 repositories tagged #formal-mathematics, ranked by stars

lean-dojo

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Score

0

★ 1.3k ⑂ 126 +2/day

C++