@kururu_goedel: あ、Coqが8.3になってる2010-10-22 00:34:09 via Seesmic Desktop
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。