親しみやすいアイコンが新登場

前：2023.10.14

後：2023.10.16

冬なのにコバエが湧いてたらもう夏に対しての冬の優位性が一切無くなるけど、それで良いのか？

これ今でも好きだな

直観主義様相論理って古典命題論理のトートロジーを直観主義命題論理に置き換えたものとして解釈していいのか