2024.06.06
https://gyazo.com/7f75d9ecb961faccb6dccfa65888b897
前：
2024.06.05
後：
2024.06.07
#日報
メモ
眠すぎる
思った
ドキュメント書くの嫌すぎる．すいませんコードから察して下さい
照
メモ
直観主義命題論理
の
generated submodel
や
p-morphism
など