2011-04-21 Software Foundations Coq http://www.cis.upenn.edu/~bcpierce/sf/少しずつ進めることにした。 http://gist.github.com/933961これは基本的に自習教材だなぁ。