First Page | Document Content | |
---|---|---|
Date: 2016-07-28 14:38:12 | Coq for HoTT Matthieu Sozeau Inria Paris & IRIF, Universit´e Paris 7 Diderot ICMS’16 July 14th 2016 Berlin, GermanyAdd to Reading ListSource URL: www.math.ias.eduDownload Document from Source WebsiteFile Size: 923,08 KBShare Document on Facebook |