2024.10.13
前：
2024.10.12
後：
2024.10.14
#日報
メモ
Minimal Logic
はhalf-explosion
$ A,\lnot A \vdash \lnot B
を導く。
気付いた
Vercel
が死んでいて
soundcloud2image
と
16-personalities.sno2wman.net
が死んでいたことが発覚
16-personalities.sno2wman.net
は修正