2024.06.09
https://gyazo.com/86c7d15eb0098ac4ff668d30e3f47852
前：
2024.06.08
後：
2024.06.10
#日報
memo
証明可能性論理GLの別定義
https://github.com/iehality/lean4-logic/pull/66
FormalizedFormalLogic/Foundation
で実装
メモ
ネセシテーションを持たない様相論理