2024.06.05
https://gyazo.com/4c0a4c36b62142f2cb35fa3e2327ae9e
神速神動画
前：
2024.06.04
後：
2024.06.06
#日報
やった
全てが完了した．
https://github.com/iehality/lean4-logic/pull/47
ドキュメントは↓で記載している
https://github.com/iehality/lean4-logic/tree/system-modal-doc?tab=readme-ov-file#standard-modal-logic
https://gyazo.com/a6f8366cc92f9cbc6d663cd30539f001
直観主義命題論理の完全性定理
https://gyazo.com/6ee60c55bdbb942eef1071f763a240d2
Geach論理の完全性定理