Thema · unimath

unimath

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

Repos

1

Sterne gesamt

1.019

Sterne im Schnitt

1.019

Anteil

0,00%

Themen, die häufig gemeinsam mit unimath am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit unimath 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

← Zurück zu den Themen