Commit Graph

7 Commits

Author SHA1 Message Date
Michaël
0af0dfaecd Add Shizuku Osaka Holding HoTT Book 2023-11-15 23:33:59 +03:00
Cat Milk :3
7ba447a263 Merge pull request #236 from SalonDesDevs/master
Yui Hirasawa reads HoTT
2021-10-15 13:50:56 -05:00
cchudant
c35290b8f9 Beatrice Holding HoTT 2021-08-29 12:54:57 +02:00
cchudant
b2a544f53b Yui Hirasawa reads HoTT
Original: https://www.pixiv.net/en/artworks/83651130
2021-08-27 22:56:01 +02:00
Alexis Williams
261dc4951b Nishikino_Maki_reads_HoTT.png 2019-02-19 10:15:53 -08:00
ngyj
788164e926 Autistically rename a bunch and delete dd87aaeda934fdeeb5765b2a436e917a.jpg 2018-09-21 20:29:40 +02:00
Mario Rodas
40cffabdd9 Add Nagato reading Homotopy type theory book 2018-05-13 10:24:42 -05:00