はhttp://github.com/kik/sandbox/blob/f41bc1346d4491f937b3fb78da38a07c746acf1c/coq/ivt.vにあります。試すにはcoqを適当にインストールしてcoqideを起動して、このファイルを開く。 あとはツールバーから適当に下に進むボタンを押してれば証明の様子が分…

最近やったゲームの中では一番に面白かった。とりあえず記録 ステージ ランク ターン数 コメント 序 A 2 1 C 5 2 S 3 3 B 5 1ターンクリアでSとか頭おかしい。たぶん、挑戦してないけど 4 B 5 2ターンクリアで同上 5 B 9 このマップは苦労した。進む方向に気…