2026.07.16
https://gyazo.com/e61d5e9a268662cb7323dce471b58493
前：
2026.07.15
後：
2026.07.17
#日報
メモ
vibeformalizing
観た
さよならララ
2
滋賀は恐ろしい！
思った
一から結果だけを書かずに証明を書かせると微妙だなという感じになっている．
しかし既存の本はすごいな