2025.08.31
やった
https://gyazo.com/27c7e86d62464bb2d721217de1b352fa
$ \bf GL.3 \subsetneq GL.2などを形式化した．
https://gyazo.com/d6bdf0a99d5c29dff3a20119c3806700
$ \bf Kの簡単な証明でもめちゃくちゃKripke意味論で議論していて，$ \bf Kの自動証明を作りたいと思っている… メモ
https://gyazo.com/2ae504e15ead9b4f5193e25962b3d1d8
ｗｗｗｗｗｗｗｗｗ
ナイトコア版あってありえん
https://open.spotify.com/intl-ja/track/1Rec1vzLRwtlNJKL9tmf5q?si=81ea2894588649b2
Monstercatリリースだったはずだけど今見たら自主リリースになっててどうなってるんだ？