Thema · cartesian-closed-category
cartesian-closed-category
Erfasste Open-Source-Repos mit dem Tag cartesian-closed-category, sortiert nach Sternen.
Repos
1
Sterne gesamt
807
Sterne im Schnitt
807
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit cartesian-closed-category am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit cartesian-closed-category getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Eine axiomfreie Formalisierung der Kategorietheorie in Coq für das persönliche Studium und die praktische Arbeit.
★ 807+1Sterne-Änderung der letzten 7 Tage
