にわとり小屋でのプログラミング ブログ

名古屋のCoqエンジニアです。日記は勘で書いてるところがあるので細かいとこが違うことがあります。

Coqでニコニコ :-]

Coqで証明をする動画を作って、にこにこ動画に公開した。
http://www.nicovideo.jp/watch/sm1276083