2025/01/25(土) 第157回 ProofCafe
Coq-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回 ProofCafepdf/Lagrangeの定理の証明.pdf at master · suharahiromichi/pdf · GitHub
第110回 ProofCafe