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

9 views
Skip to first unread message

ken coba

unread,
Jan 18, 2012, 9:25:40 PM1/18/12
to Formal Methods Forum
小林です。

ちょっと情報を。

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

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

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

Reply all
Reply to author
Forward
0 new messages