募集内容 |
参加枠1 無料
参加者数
|
---|---|
申込者 | 申込者一覧を見る |
開催日時 |
2019/06/15(土) 14:30 ~ 17:30
|
募集期間 |
2019/05/18(土) 20:52
〜 |
会場 |
オンライン(skype) |
イベントの説明
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の2章を読んでいきます。
2.4 自然数の和の形式化
を読みます。そのあと、omega や ring などの自動化タクティクについても勉強する予定です。
参加者は上記の本を持参してください。 SSReflect/Mathcomp をインストールしたPCを用意してください。 また、可能ならば、GitLab にアカウントを作成しておいてください。 インストール方法などについての質問も常に歓迎です。
会場は直前に変更になる場合があります。 参加登録された方も、当日の本ページおよびTwitterの ハッシュタグ #ProofCafe に注意してください
以上
フィード
2019/05/19 23:39
#ProofCafe Prop と bool の違いについての説明。たとえばCPDTの4.2節。https://fluiddynamics.github.io/cautious-octo-chainsaw/cpdt.pdf