ひとり勉強会

ひとり楽しく勉強会

Coqの入門記事を書く会 (4)

今回は、入門記事書きはちょっと休憩して、Coqの解説記事などを集める会です。

英語

言語そのものを浅く/深く眺めていく、という方向のテキスト3つ:


講義の素材として作られたチュートリアル達。より具体的な題材での演習付きなので面白いかも:


Coqの使い方はわかる、という人が、その先「Coqの良い上手い使い方を学ぶ」ための本。

  • Certified Programming with Dependent Types
    • つい先日読んでみたら、とても面白かったです。おすすめ。

日本語