きくらげ観察日記

好きなことを、適当に。

Coqで前提や定理を適用して証明する

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