Thema · rocq-library

rocq-library

Erfasste Open-Source-Repos mit dem Tag rocq-library, sortiert nach Sternen.

Repos

2

Sterne gesamt

1.715

Sterne im Schnitt

858

Anteil

0,00%

Themen, die häufig gemeinsam mit rocq-library am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit rocq-library getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
UniMath ↗@UniMathRocq Prover
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
math-comp ↗@math-compRocq Prover
Mathematische Komponenten
★ 696+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen