2026.07.13

https://gyazo.com/d526097834a8e39b75a6ec207890c22f

思った

なんでこれ自動化出来ないんだ？みたいなものは山ほどある

思った

形式証明のリファクタリングの方が面倒だ．．