wcaleb’s avatarwcaleb’s Twitter Archive—№ 5,217

  1. Interesting post on The HoTT book, an academic text written collaboratively on @github math.andrej.com/2013/06/20/the-hott-book/
    On twitter.com Twitter logo wcaleb’s avatar ❤️ 2 Favorites Mood +2 🙂