MathComp/Coq を中心に形式的定理証明を書いています。 ProofCafe-名古屋Coq勉強会の共同主催者です。 twitter #ProofCafe または @suharahiromichi
以下のような理由により、プロフィールでコミュニティが掲載されていないことがあります。
