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