はてなグループ: [[ProofCafe(栄):http://coq.g.hatena.ne.jp/keyword/ProofCafe]] ProofCafeのwikiはこちら http://proofcafe.org/wiki/