2024.01.30
https://gyazo.com/86ab68a2334ab0c3048618cda6ba0573
https://anime-bingo.aikats.us/
#アニメビンゴ
前:
2024.01.29
後:
2024.01.31
#日報
思う
実際問題、
ネタバレ
を踏んだとしても思い出さないようにすれば別にフレッシュな気持ちで作品は観れないだろうか?とは常々思っている
いいね
https://www.youtube.com/watch?v=-h1YRMIE3Z0
やった
正規様相論理の完全性定理
のコミットがマージされた。
https://github.com/iehality/lean4-logic/commit/678d96629bf0b1ffab87563c1066e63cdb11acb3