[Coq] Coq Course Materials at Nagoya Univ.

　名古屋大学の2009年度後期のGarrigue先生のCoqの講義の教材が公開されているので、Coqの勉強として解いてみた。
　全部は自力では解けず、答えを参照しつつ解いた部分もある。自習用には良い教材だと思った。
　解答とかcoqdocでHTML化したんだけど...宿題は公開するとまずいよね、やはり。2009年度後期はまだ終わってないし。
　とりあえずFormal Methods Forumの勉強会用に使えるかな？