イベントの説明
"A Gentle Introduction to Type Classes and Relations in Coq" の第3回目です。
予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。
https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md
また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。
以上
お知らせ
connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
なお有料の対象となるのはAPIのみであり、connpassのサービスにつきましては今後も無料でご利用いただけます。
"A Gentle Introduction to Type Classes and Relations in Coq" の第3回目です。
予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。
https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md
また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。
以上