お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

6月

25

第125回 ProofCafe

名古屋Coq勉強会

第125回 ProofCafe
募集内容
開催日時
2022/06/25(土) 13:30 ~ 15:30
募集期間

2022/05/28(土) 17:01 〜
2022/06/25(土) 15:30まで

会場

オンライン(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件が表示されます。

フィード

SUHARA Hiromichi

SUHARA Hiromichi さんが 第125回 ProofCafe を公開しました。

2022/05/28 17:02

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

グループ

ProofCafe

イベント数 92回

メンバー数 52人

終了

2022/06/25(土)

13:30
15:30

募集期間
2022/05/28(土) 17:01 〜
2022/06/25(土) 15:30

会場

オンライン(skype)

オンライン(skype)