第93回 ProofCafe

11月

16
第93回 ProofCafe
名古屋Coq勉強会

募集内容	参加枠1 無料参加者数 4人
申込者	申込者一覧を見る
開催日時	2019/11/16(土) 14:30 ～ 17:30 Googleカレンダー icsファイル
募集期間	2019/10/19(土) 21:42 〜 2019/11/16(土) 17:30まで
会場	オンライン(skype)

イベントの説明

萩原、アフェルト著「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.

追加の問題の問3.9 からです。

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.

以上