募集内容 |
申し込み不要、もしくは当サイト以外で申し込み |
---|---|
開催日時 |
2022/06/25(土) 13:30 ~ 15:30
|
募集期間 |
2022/05/28(土) 17:01
〜 |
会場 |
オンライン(skype) |
イベントの説明
定理証明支援システムCoqの勉強会です。
以下の 第11回 コンパイラ compile_cmd_correct からです。
https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html
参加をご希望のかたは、管理者までお問い合わせください。
可能ならば coq-mathcomp を事前にインストールしておいてください。
資料は以下にあります。ただし参加者限定です。お問い合わせください。
https://gitlab.com/proofcafe/nu
https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq12_2_lambda.v
https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq12_2_lambda_eval_no_anser.v
https://qiita.com/suharahiromichi/private/f0c270922a01f231222c
以上
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。