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