きくらげ観察日記

好きなことを、適当に。

Coqで定理の証明中に補題を示す

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