2024.04.13
https://www.hamanako-driving.jp/hamaisena/img/pho_vtuber_01.gif
前:
2024.04.12
後:
2024.04.14
#日報
やった
https://gyazo.com/bf83398962a077baae3d68ff85d5a293
Geach論理
の強完全性定理のLeanで形式化が終わった!
#Geach論理の完全性定理
魂を奪われましたね
https://github.com/iehality/lean4-logic/pull/34
観た
ガールズバンドクライ #2
東映アニメーション
,ありがとう…
メモ
/takker/(P⇒Q)⇒¬¬(¬P∨Q)
助かった.
メモ
Boxdot特性