jwiegley/category-theory
@jwiegleyEine axiomfreie Formalisierung der Kategorietheorie in Coq für das persönliche Studium und die praktische Arbeit.
Sterne
808
Forks
83
Sprache
Rocq Prover
Lizenz
BSD-3-Clause
Letzter Push
vor 1 Tag
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.