Hoare理論
#やってみたい
到達目標は？
ある単純なプログラムに対して実際にHoare理論を用いて証明を行うことができる。
単純なプログラム --> AtCoder_Beginner_Contest C問題で出題されたことのある問題
この証明系をフルスクラッチで構築してみる
これってできるの...？