2011年12月9日金曜日

プログラミングCoq

Coqによる自動証明に関する入門記事です。

#といっても、自動証明に関して知識があまりないので十分難しく感じます。

プログラミングCoq
http://www.iij-ii.co.jp/lab/techdoc/coqt/