HoTT/book
@HoTTEin Lehrbuch zur informellen Homotopietypentheorie
Sterne
2.168
Forks
378
Sprache
TeX
Lizenz
—
Letzter Push
vor 3 Monaten
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.