28 March, 2010

[Coq] Coq Course Materials at Nagoya Univ.

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