6 Commits (cd85edbf94e9981d1878a7e6d3a2bf6c960a1736)

Author	SHA1	Message	Date
cchudant	c35290b8f9	Beatrice Holding HoTT	4 years ago
cchudant	b2a544f53b	Yui Hirasawa reads HoTT ... Original: https://www.pixiv.net/en/artworks/83651130	4 years ago
Alexis Williams	261dc4951b	Nishikino_Maki_reads_HoTT.png	7 years ago
ngyj	788164e926	Autistically rename a bunch and delete dd87aaeda934fdeeb5765b2a436e917a.jpg	7 years ago
Mario Rodas	40cffabdd9	Add Nagato reading Homotopy type theory book	8 years ago