2026.07.07
https://gyazo.com/d9ac18ae004051093214dc4d2492c7b5
意味ない
観た
涙が．．．．．．．．．．．．
読んだ
もう登場人物全員松岡修造みたいな熱血さで動いててヤバすぎる 思った
https://gyazo.com/8644522dd8022a51f944c535cbd7950a
GLのラベル付きシークエント計算の証明をLeanで構成する関数を作り，上手くTypstのcurryst プラグインで証明図をLeanのInfoview上に表示する #eval-typst を作った．