The HoTT library: a formalization of homotopy type theory in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters. The HoTT library: a formalization of homotopy type theory in Coq. In Yves Bertot, Viktor Vafeiadis, editors, Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017. pages 164-172, ACM, 2017. [doi]

This author has not been identified. Look up 'Andrej Bauer' in GoogleThis author has not been identified. Look up 'Jason Gross' in GoogleThis author has not been identified. Look up 'Peter LeFanu Lumsdaine' in GoogleThis author has not been identified. Look up 'Michael Shulman' in GoogleThis author has not been identified. Look up 'Matthieu Sozeau' in GoogleThis author has not been identified. Look up 'Bas Spitters' in Google

runs on WebDSL