ProofCafe #02

Coq

ProofCafe の第二回が名古屋・栄の「どえりゃあ」で開催されました。 前回の記事はこちら
私は今回は出席できず。残念です。

資料とか

http://coq.g.hatena.ne.jp/yoshihiro503/20100517/p1 より転載。

資料(HTML): http://adam.chlipala.net/cpdt/html/toc.html
資料(PDF): http://adam.chlipala.net/cpdt/cpdt.pdf
参考資料: http://groups.google.co.jp/group/fm-forum/msg/e5c0fb1994ac2460

次回以降について

開催予定と概要が はてダのCoqグループのid:yoshihiro503の日記 に掲載されます。
毎月 第4土曜日に開催するとのことです。

第三回

http://coq.g.hatena.ne.jp/yoshihiro503/20100522/p1 より転載。