2024.07.24
https://www.youtube.com/watch?v=XKjxBcmxY7w
前:
2024.07.23
後:
2024.07.25
#日報
メモ
lean4-logicでの様相論理および直観主義論理についての形式化された事実のリスト
書いたが,本当に多すぎる
やっている
様相論理KHのKripke不完全性
証明をミスっていた