第71回 ProofCafe

2017/12/30(土)14:30 〜 17:30 開催
ブックマーク

イベント内容

"A Gentle Introduction to Type Classes and Relations in Coq" の第4回目です。

上記を補足するCoqの入門的な資料も用意しますので、安心してください。

また、次に読む文書を選びたいと思います。

以上

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ