blogこの広告は、90日以上更新していないブログに表示しています。本日のmathoverflow案件,をい...2012-06-22まあいっかまあ(台風)一過です。台風で今週の勉強会軒並み中止になってい...2012-06-17おでもまあ考えてみれば、がsupercompactならとかのサイズは(が正...2012-05-20ほ...ほわぁ相変わらずCoq書いてるけど進歩ないすなぁ。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。