2024.10.31
https://gyazo.com/1f2064e0481b6a599e3dc225829370b9
前：
2024.10.30
後：
2024.11.01
#日報
メモ
Hybrid Logic
の話
$ \mathbf{K@}
を聞いた．
証明方法とか見たけど面白い
形式化してみようかな…
割と既存の証明をそのままなぞって形式化するだけで行ける気がする．
思った
ハロウィン
だけどもハロウィンらしいことは一切しなかった
やった
FormalizedFormalLogic/Foundation
のv4.13対応が終わった．
遅れて申し訳ない