[[ocaml-nagoya]] #contents **第一回 [#p9153af9] - http://coq.g.hatena.ne.jp/yoshihiro503/20100331 - 申し込み: http://atnd.org/events/3867 #ls(ProofCafe) ProofCafeのwiki http://proofcafe.org/wiki/