2026/03/28(土) 第167回 ProofCafe
coq/alg/matrix_sample.v at master · suharahiromichi/coq · GitHub
第158回 ProofCafeCoq-Elpi によるタクティクの作成(その1)
第135回 ProofCafeCoq-Elpi によるタクティクの作成(その2)
第135回 ProofCafeCoq-Elpi によるタクティクの作成(その1の2)
第135回 ProofCafeMathCompの型継承(多項式)
第129回 ProofCafeMathCompの型の継承関係
第129回 ProofCafe有限型 finType の説明
第128回 ProofCafecoq/ssr_endomorphism_finset.v at master · suharahiromichi/coq · GitHub
第128回 ProofCafecoq/csm_7_2_expected_value_variance.v at master · suharahiromichi/coq · GitHub
第111回 ProofCafecoq/csm_6_2_from_mathcomp_intro.v at master · suharahiromichi/coq · GitHub
第110回 ProofCafe