きくらげ観察日記

好きなことを、適当に。

2016-11-16から1日間の記事一覧

Coqで「任意のxについて…」「あるxが存在して…」を扱う

Coq

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

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

Coq

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

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

Coq

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

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

Coq

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

Coqで数学的帰納法を行う

Coq

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

Coqでデータ型に対して条件分岐を行う

Coq

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