InfoQ Japan「イベントレポート『Coqチュートリアル#1』」

[ken coba]

小林です。

ちょっと情報を。

@tmiya_さんが講師を務めてらっしゃる
Coqチュートリアル(全4回)の、1回目のイベントレポートが公開されました。
http://www.infoq.com/jp/articles/coqtutorial

このチュートリアルは、ProofSummit2011の午前中に圧縮して発表されていた
Coq入門のフルセット版です。

次回は2月2日ですので、ご興味のある方はぜひご参加ください。