2023.12.26
https://www.youtube.com/watch?v=ndrSNcRyXAI
前：
2023.12.25
後：
2023.12.27
#日報
やっている
https://github.com/iehality/lean4-logic/pull/10
FormalizedFormalLogic/Foundation
に
様相命題論理
の追加を画策