トップ 2010年 4月 25日 更新 2014年5月21日 作成 2010年4月25日 ProofCafe 第1回 ProofCafe 第一回でつぶやかれた内容です。おおまかな流れを実況したポストは、赤字にしてあります。 資料は、 http://coq.g.hatena.ne.jp/yoshihiro503/20100331 から辿れます。 形式手法 Coq proofcafe mzp 3433 1 0 3 0 2 ツイート 0 いいね!0 前へ 1 ・・ 3 4 Keigo Imai @keigoi 二次会は 「嘉文」です #ProofCafe 2010-04-25 16:12:56 前へ 1 ・・ 3 4