CPDT

CPDT

Adam Chlipala氏が書いたCoqの文書。以下のリンクからたどることができる。

http://adam.chlipala.net/cpdt/