2021/01/23(Sat) 第107回 ProofCafe
coq/csm_5_set_theory.v at master · suharahiromichi/coq · GitHub
第107回 ProofCafe全体
第106回 ProofCafe公理について
第106回 ProofCafebool述語
第106回 ProofCafecoq/csm_5_set_theory.v at master · suharahiromichi/coq · GitHub
第105回 ProofCafeコンピュータの数学 4.6 合同関係 の公式の証明
第104回 ProofCafe整数除算と剰余演算について - Qiita
第104回 ProofCafecoq/intro_01_howto.v at master · suharahiromichi/coq · GitHub
第104回 ProofCafe中国人の剰余定理 - Qiita
第103回 ProofCafecoq/csm_4_6_bigop.v at master · suharahiromichi/coq · GitHub
第103回 ProofCafe