![](/img/cover-not-exists.png)
[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - The HoTT library: a formalization of homotopy type theory in Coq
Bauer, Andrej, Gross, Jason, Lumsdaine, Peter LeFanu, Shulman, Michael, Sozeau, Matthieu, Spitters, BasYear:
2017
Language:
english
DOI:
10.1145/3018610.3018615
File:
PDF, 191 KB
english, 2017