きくらげ観察日記

好きなことを、適当に。

Coqで前提の矛盾から定理を証明する

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