Agda5(かけ算証明編) 2019/7/28 Agda, 型理論・証明論, 数学教育 今回はかけ算の定義と、かけ算関連の証明です。最初に目的としていた、 (3 + 4) ✕ 5 = (3 ✕ 5) + (4 ✕ 5) ...
