2024.10.25
https://gyazo.com/af9201a2a42d1a30b9109d113d62f39d
https://x.com/SnO2WMaN/status/1849577860224385191
論理学の気分を変えるために音MAD観てたらコメント欄で算術のワードを出されて終わった
前：
2024.10.24
後：
2024.10.26
#日報
メモ
やった
溶鉄のマルフーシャ
かわいくてナイス
欲を言えばもう少し難しくてもよかったかなと思う
やった
SmullyanTP
https://github.com/SnO2WMaN/SmullyanTP
Smullyan's Truth and Provability
の
Lean 4
での形式化．
Sect.2の内容まで．