Thema · formal-mathematics
formal-mathematics
Erfasste Open-Source-Repos mit dem Tag formal-mathematics, sortiert nach Sternen.
Repos
2
Sterne gesamt
2.538
Sterne im Schnitt
1.269
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit formal-mathematics am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit formal-mathematics getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
LLMs als Copiloten für das Theorem-Beweisen in Lean
★ 1.318+1Sterne-Änderung der letzten 7 Tage - #2
Eine Sammlung formalisierter Aussagen von Vermutungen in Lean.
★ 1.220+13Sterne-Änderung der letzten 7 Tage
