Doorkeeper

About me

MathComp/Coq を中心に形式的定理証明を書いています。 ProofCafe-名古屋Coq勉強会の共同主催者です。
twitter #ProofCafe または @suharahiromichi

Communities I'm a member of

Topics I'm interested in