![](https://www.pdfsearch.io/img/86aba39cc075790a1d19cf66ca7422b5.jpg) Date: 2016-06-29 06:24:43
| | Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.ioAdd to Reading ListSource URL: hott-uf.gforge.inria.frDownload Document from Source Website File Size: 451,40 KBShare Document on Facebook
|