ひとり勉強会 RSSフィード

2010-10-12

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

|  Coqの入門記事を書く会 (4)を含むブックマーク

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

英語

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


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


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


日本語

hzkrhzkr 2010/10/12 22:39 こんな記事もあるよ!というコメントお待ちしています!

hzkrhzkr 2010/10/12 22:51 おお既に凄いまとまっていた! http://www39.atwiki.jp/fm-forum/

CC0
To the extent possible under law, the person who associated CC0 with this work has waived all copyright and related or neighboring rights to this work.