Thema · rocq
rocq
Erfasste Open-Source-Repos mit dem Tag rocq, sortiert nach Sternen.
Repos
4
Sterne gesamt
3.426
Sterne im Schnitt
857
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit rocq am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit rocq getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Formales Verifizierungstool für Rust: Überprüft 100 % der Ausführungsfälle Ihrer Programme für sicherere Anwendungen.
★ 1.161+1Sterne-Änderung der letzten 7 Tage - #2
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 - #3★ 696+1Sterne-Änderung der letzten 7 Tage
- #4
Metaprogrammierung, verifizierte Metatheorie und Implementierung von Rocq in Rocq.
★ 550+2Sterne-Änderung der letzten 7 Tage
