このエントリーをはてなブックマークに追加

Nov

20

第117回 ProofCafe

名古屋Coq勉強会

Registration info

Description

以下の 第5回 単一化 および 第6回 √2は無理数 を読みます。


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_ssrcoq5_3_unify.elpi

https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq6_3_root2.v

https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq7_3_sort.v

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

SUHARA Hiromichi

SUHARA Hiromichi published 第117回 ProofCafe.

10/23/2021 16:46

第117回 ProofCafe を公開しました!

Group

ProofCafe

Number of events 63

Members 48

Ended

2021/11/20(Sat)

13:30
15:30

Registration Period
2021/10/23(Sat) 16:46 〜
2021/11/20(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)