Back to Results
First PageMeta 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
UPDATE