Originalsprog | Engelsk |
---|---|
Publikationsdato | 2016 |
Status | Udgivet - 2016 |
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: Andet › Udgivelser på nettet - Net-publikation › Forskning