お知らせ 【メンテナンスのお知らせ】4月25日(木)10:00から1時間半ほど、メンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

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

1月

29

 第120回 ProofCafe

名古屋Coq勉強会

第120回 ProofCafe
募集内容
開催日時
2022/01/29(土) 13:30 ～ 15:30
Googleカレンダー icsファイル
募集期間

2021/12/25(土) 16:55 〜
2022/01/29(土) 15:30まで

会場

オンライン(skype)

イベントの説明

定理証明支援システムCoqの勉強会です。

NGK2022S と重なるため、日程を変更しました。

以下の 第7回　の練習問題 3.1 2 le_list の一般化　からです。

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_anserv

資料 資料をもっと見る／編集する

資料が投稿されると、最新の3件が表示されます。

フィード

SUHARA Hiromichi

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

2021/12/25 16:56

第120回 ProofCafe を公開しました！

グループ

ProofCafe

イベント数 92回

メンバー数 52人

終了

2022/01/29(土)

13:30 〜 15:30
Googleカレンダー icsファイル

募集期間
2021/12/25(土) 16:55 〜
2022/01/29(土) 15:30

イベントへのお問い合わせ

会場

オンライン(skype)

オンライン(skype)

管理者