Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
バツ子(ラブと小雨 (shmibs@tomo.airen-no-jikken.icu)'s status on Saturday, 15-Oct-2022 02:38:56 JSTバツ子(ラブと小雨 @placholdr
was watching avigad's things because his new book came out (logic). and this was same channel as one, lectures for that applied category theory book from a few years ago that's gotten so popular, so looking