2024.06.03
https://gyazo.com/8b6c714be8bc97cd173338cc7f8c4178
前：2024.06.02
後：2024.06.04
#日報
やった
様相論理の全体的な書き直しが完了した！
↑になっていた
メモ
残すは直観主義論理のみ…