Owner · lean-dojo

lean-dojo

lean-dojo's tracked open-source repos, sorted by stars.

2 repos

#1
LeanCopilot ↗@lean-dojoC++
LLMs as Copilots for Theorem Proving in Lean
★ 1,318+2Star change over the last 7 days
#2
LeanDojo ↗@lean-dojoPython
Tool for data extraction and interacting with Lean programmatically.
★ 832+1Star change over the last 7 days