2023.11.09
https://gyazo.com/74ebf352a3b2e79aea0c84a8d5ac1663
前:
2023.11.08
後:
2023.11.10
#日報
メモ
ナイアガラの滝から落ちて生き延びた人
https://w.atwiki.jp/aniwotawiki/pages/55137.html
何の記事なんだ
メモ
定理証明支援系 Advent Calendar 2023
https://adventar.org/calendars/9022
私は忙しくて多分参加できないが,そういうのもあるらしいです.