Registration info |
Registration not needed, or register on another site. |
---|
Description
以下の 第7回 依存和、Hintとauto、整列の証明 を読みます。
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_ssrcoq7_3_sort.v https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq7_3_sort_no_anser.v
https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq8_2_sort2.v https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq8_2_sort2_no_anser.v
Media View all Media
If you add event media, up to 3 items will be shown here.