お知らせ 「ESET INTERNET SECURITY」利用環境下での 不具合修正のお知らせ

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

Jun

25

第125回 ProofCafe

名古屋Coq勉強会

Registration info

Description

定理証明支援システム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

以上

Media View all Media

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

Feed

SUHARA Hiromichi

SUHARA Hiromichi published 第125回 ProofCafe.

05/28/2022 17:02

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

Group

ProofCafe

Number of events 74

Members 52

Ended

2022/06/25(Sat)

13:30
15:30

Registration Period
2022/05/28(Sat) 17:01 〜
2022/06/25(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)