Coqで「…かつ…」、「…または…」を扱う

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