日本語の Coq 情報

ついでに、主に日本語の Coq 情報を (10 分で思い出せる範囲で) まとめてみます。順不同。

Coq のことをまとめようとしている wiki

たまに Coq のことが書いてあるブログ

他にもちらほら見かけるはずなのですが、ちゃんとメモしてなかったので思い出せません。見つけたら自発的に適宜追加するかもしれませんが、教えてもらえると助かります。