Coqでデータ型に対して条件分岐を行う

ブログ移転しました。新しいサイトはこちら:
genkami.github.io