はてなグループ: [[ProofCafe:http://coq.g.hatena.ne.jp/keyword/ProofCafe]] **第1回 [#p9153af9] - http://coq.g.hatena.ne.jp/yoshihiro503/20100331 - 申し込み: http://atnd.org/events/3867 - 資料: [[ProofCafe/Coq01]] - 資料: [[ProofCafe01]] - まとめ: [[http://togetter.com/li/16682]] **第2回 [#c89036f8] - http://coq.g.hatena.ne.jp/yoshihiro503/20100517 - 申し込み: http://coq.g.hatena.ne.jp/yoshihiro503/20100517 - 資料: http://adam.chlipala.net/cpdt/html/toc.html - 資料: http://adam.chlipala.net/cpdt/cpdt.pdf