Eigentümer · lean-dojo

lean-dojo

Erfasste Open-Source-Repos von lean-dojo, sortiert nach Sternen.

2 Repos

#1
LeanCopilot ↗@lean-dojoC++
LLMs als Copiloten für das Theorem-Beweisen in Lean
★ 1.318+1Sterne-Änderung der letzten 7 Tage
#2
LeanDojo ↗@lean-dojoPython
Tool zur Datenextraktion und programmatischen Interaktion mit Lean.
★ 832+1Sterne-Änderung der letzten 7 Tage