Homotopy Type Theory – Univalent Foundations of Mathematics (2013)

  • Posted 3 hours ago by peter_d_sherman
  • 2 points
https://hott.github.io/book/hott-online.pdf.html

1 comments

    Loading..