募集内容 |
申し込み不要、もしくは当サイト以外で申し込み |
---|---|
開催日時 |
2021/05/22(土) 13:30 ~ 15:30
|
募集期間 |
2021/04/24(土) 16:28
〜 |
会場 |
オンライン(skype) |
イベントの説明
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の7章を読んでいきます。
参加をご希望のかたは、管理者までお問い合わせください。
可能ならば coq-mathcomp と Infotheo を事前にインストールしておいてください。
以上