Coqで代数的データ型の各要素についての等式を得る

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