#HoTT what is homotopy type theory ?

https://www.quora.com/What-is-homotopy-type-theory

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.