5月
23
第99回 ProofCafe
名古屋Coq勉強会
| 募集内容 |
申し込み不要、もしくは当サイト以外で申し込み |
|---|---|
| 開催日時 |
2020/05/23(土) 13:30 ～ 16:30
|
| 募集期間 |
2020/04/25(土) 17:22
〜 |
| 会場 |
オンライン skype オンライン skype マップで見る |
イベントの説明
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
4.3 ssrnat.v について、資料の csm_4_3_ssrnat.v に沿って説明するほか、時間があれは ssr_omega.v (omegaタクティクのMathCompへの移植) の話をします。
可能であれば、本ページからリンクさられている上記ふたつのファイルをダウンロードして、Proof General 等で実行できることを確認しておいてください。これらのファイルの上でハンズオンをします。
参加を御希望の方は、管理者にお問い合わせください。
以上
フィード
2020/05/23 16:50
2020/05/22 21:38
2020/05/22 00:16
2020/05/12 21:48
2020/05/01 20:33
2020/04/30 15:59
2020/04/25 17:23
第99回 ProofCafe を公開しました！
morita_hm
SUHARA Hiromichi
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています