The HoTT Library: A formalization of homotopy type theory in Coq

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters

Publikation: AndetUdgivelser på nettet - Net-publikationForskning

OriginalsprogEngelsk
Publikationsdato2016
StatusUdgivet - 2016

Citationsformater