萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版　の3章を読んでいきます。
We will read Chapter 3 of “The Theorem Proof by Coq / SSReflect / MathComp” written by Hagiwara, Affedt.

このページの「資料」からリンクされた演習問題を解いて、議論したいと思います。
We will solve and discuss the exercises linked from “資料” on this page.

SSReflect/Mathcomp をインストールしたPCを用意してください。 インストール方法などについての質問も常に歓迎です。
Prepare a PC with SSReflect / Mathcomp installed.

また、可能ならば、GitLab にアカウントを作成しておいてください。解答を掲載します。
If possible, create an account with GitLab. The answer will be posted.

会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください。
The venue (or classroom) is subject to change immediately before. If you are registered, please attention to this day's page and Twitter hashtag #ProofCafe.

以上