Thema · comonads
comonads
Erfasste Open-Source-Repos mit dem Tag comonads, sortiert nach Sternen.
Repos
1
Sterne gesamt
807
Sterne im Schnitt
807
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit comonads am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit comonads 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
