今回はかけ算の定義と、かけ算関連の証明です。今回はたし算に関する証明をいくつか行っていきます。以下のファイルを用意しました(。(1)から開始してください。自然数と足し算を作っていきます。数学教育Windows10環境での、Agdaのインストール手順を動画にしました。数学教育AgdaというHaskellとは違うプログラミング言語を触り始めました。今回は英語文書に適用した例を紹介します。(動画があると解りやすいとのことでしたので、最下部に追加しました。