Thema · coq-library
coq-library
Erfasste Open-Source-Repos mit dem Tag coq-library, sortiert nach Sternen.
Repos
3
Sterne gesamt
2.152
Sterne im Schnitt
717
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit coq-library am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit coq-library getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Diese Rocq-Bibliothek zielt darauf ab, einen wesentlichen Teil der Mathematik unter Verwendung der univalenten Sichtweise zu formalisieren.
★ 1.019+2Sterne-Änderung der letzten 7 Tage - #2
Ein Framework zur formalen Verifikation von Implementierungen verteilter Systeme in Coq
★ 625+0Sterne-Änderung der letzten 7 Tage - #3★ 508+1Sterne-Änderung der letzten 7 Tage
