SFBA Book Club home page

Scan Barcode

Forgot your password?

Join
Back
avatar for soaproot

soaproot Books finished reading Homotopy Type Theory by The Univalent Foundations Program Institute for Advanced Study

  • Dec. 24, 2023
  • Public
The Univalent Foundations Program Institute for Advanced Study: Homotopy Type Theory (2013, The Univalent Foundations Program Institute for Advanced Study)

Homotopy Type Theory by The Univalent Foundations Program Institute for Advanced Study

Reply Boost status Like status

Successfully posted status

Error posting status

About SFBA Book Club

Contact site admin

Documentation

Code of Conduct

Privacy Policy

Support SFBA Book Club on SFBA Ko-Fi crowdfunding page

BookWyrm's source code is freely available. You can contribute or report issues on GitHub.