MathComp/Coq を中心に形式的定理証明を書いています。 ProofCafe-名古屋Coq勉強会の共同主催者です。 twitter #ProofCafe または @suharahiromichi
Communities may be hidden from a public profile for a number of reasons. These reasons include the following.