第67回 ProofCafe
現地開催
基本情報
- 日時
- 〜
- 開催形式
- 現地開催
- 会場
- 名古屋大学 多元数理科学棟 455教室
イベント内容
"A Gentle Introduction to Type Classes and Relations in Coq" の第一回目です。
予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。
https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md
また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。
以上
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
