なにやら日本語で書かれた定理証明支援系言語 Coq の良質なチュートリアルが公開されたとのことで、とりあえず読んでみました。http://www.iij-ii.co.jp/lab/techdoc/coqt/ 定理証明支援系とは何か、 Coq で何ができるのか、という話題についてはここでは触…