Description
"A Gentle Introduction to Type Classes and Relations in Coq" の第3回目です。
予習には、以下を参考に、サンプルコードを読んでおいてください。 準備していなくても、当日、インストールから説明します。
https://github.com/suharahiromichi/doc/blob/master/coq_gitcrc.md
また、上記を補足するCoqの入門的な資料も用意しますので、安心してください。
以上