HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
Introduction to Homotopy Type Theory | Heykuki News
Introduction to Homotopy Type Theory
arxiv.org
153 points
euler1729
4 years ago
81 comments
Threaded
Loading comments...