資料: slides (last version): slides addendum about groups: html, pdf (automatically generated) slides (previous versions): [2015-07-24 Fri]: 京都大学の集中講義で使った資料(約14時間): slides (addendum about groups) [2014-12-15 Mon]: 名古屋大学の集中講義 で使った資料(約9時間): slides (addendum about groups) [2014-09-07 Sun]: 日本ソフトウェア科学会 第31回大会のチュートリアル (定理証明支援系Coq入門) で使った資料(4時間): slides Coq/SSReflect/MathCompの設定 参考文献: ssr.bib, coq.bib, it
![Coq/SSReflect/MathComp Tutorial](https://cdn-ak-scissors.b.st-hatena.com/image/square/87c0df28f7a643691f2f3da567240f54b375781b/height=288;version=1;width=512/https%3A%2F%2Fstaff.aist.go.jp%2Freynald.affeldt%2Fssrcoq%2Fbaren.jpg)