2024.10.22
https://www.youtube.com/watch?v=M6gnW0XVCAA
前：
2024.10.21
後：
2024.10.23
#日報
読んだ
ハイスコアガール DASH
1,2
先生？！
メモ
Verso
が結構ちゃんとしてきているのか？
https://github.com/leanprover/reference-manual
思った
Smullyanに帰ってきている
メモ
Kripkeフレームの大きさを規定する