2026.07.10
https://gyazo.com/9ce0b10b62beef2c95259908de526c6f
やった
とりあえずはね
今リファクタリング中！
https://gyazo.com/6daee02a0967f1c827b520257c95a262
https://gyazo.com/418c3e571405e917a43b3da94608a697
https://gyazo.com/9b21326ae74db19709a4974cb902b036
https://gyazo.com/cead952f33c8d1db00d3fed88e58e2d8
https://gyazo.com/924dcfb4e16bbfd56f209f1da159f3f9
大体18000行かー
一週間で書ける形式証明としてはまあ結構書いてるほうなんではないでしょうか
思った
ずっとなんとなく我々の形式化はApache 2.0でライセンスして公開しているけど人類の共通知としてはGPLなりで公開するべきなのか？ 思った
行くぞーーーーーーーーーーーーー