| Original language | English |
|---|---|
| Publication date | 2016 |
| Publication status | Published - 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
Research output: Other contribution › Net publication - Internet publication › Research