Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http: leanprover.github.io - Type theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io Add to Reading List Document Date: 2016-06-29 06:24:43 Open Document File Size: 451,40 KB Share Result on Facebook

Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.ioAdd to Reading List