2023.12.27
https://www.youtube.com/watch?v=n1Z7FFoURX0
前：
2023.12.26
後：
2023.12.28
#日報
やった
2023.12.26#658aeb9713a1580000be7ad6
引き続き
FormalizedFormalLogic/Foundation
に
様相命題論理
を実装中
$ \left(\Diamond {0} \to \Box \Diamond {0}\right)