「こうすればCoqに入門できそうだ （誰も書かないCoq入門以前 5）」： 次にCoqに関する記事を書くとすれば、「Coq入門以前」から「Coq入門」にしようと思います。 と言っておきながら、「入門」ではない重箱の隅のような事を書きます； 「Coqの証明ゲームの…