Coq参考資料 教科書 "Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive" Springerから出版されているCoq本。良い本なのだが値段も高い。 Certified Programming with Dependent Types (http://adam.chlipala.net/cpdt/) Harvardの授業で使用 (PDF 360ページ程度)。定期的に改訂されている。 (Latest 2010/2/3) CPDTは関数型言語プログラマにとってCoqを理解しやすいいいテキストだと思います。 読む時は「Certified Programming with Dependent Types関係」も参照の事。 チュートリアル The Coq Proof Assi
![Coq参考資料 - fm-forum @ ウィキ](https://cdn-ak-scissors.b.st-hatena.com/image/square/45c4684c76601e94abbe94966d9d5a26153b8fbd/height=288;version=1;width=512/https%3A%2F%2Fimg.atwiki.jp%2F_img%2Fog_image.png)