Thema · foundations

foundations

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

Repos

1

Sterne gesamt

1.019

Sterne im Schnitt

1.019

Anteil

0,00%

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

Neue Aufsteiger

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