ついでに、主に日本語の Coq 情報を (10 分で思い出せる範囲で) まとめてみます。順不同。
Coq のことをまとめようとしている wiki
たまに Coq のことが書いてあるブログ
- yoshihiro503 さんのブログ (LL 魂で Coq の発表をされた方、Coq の話ばっかり)
- いまいけいごさんのブログ
- 菊さんのブログ
- Tossy-2 のブログ
- あろはさんのブログ (2006/04 〜 05 頃)
他にもちらほら見かけるはずなのですが、ちゃんとメモしてなかったので思い出せません。見つけたら自発的に適宜追加するかもしれませんが、教えてもらえると助かります。