http://www.infoq.com/jp/articles/coqtutorial記事は速攻で仕上げました。 毎度のことですが、@tmiya_さんに感謝です。 個人的に、Coqチュートリアル実施の意味は大きい。 実施するまでは、「チュートリアル自体に目新しいことはない」 という意識があった…