loading...

Explain Homotopy type theory like I'm five

dannypsnl profile image 林子篆 ・1 min read

As the title, I'm looking for a clear overview summary of HOTT.

Discussion

markdown guide