CoqでもIsabelleでも同じ。Coqの証明ゲームの表側と裏側 （誰も書かないCoq入門以前 4） - 檜山正幸のキマイラ飼育記 : Coqシステムは、そして自分は、いったい何をやっているんだ？ これが証明って、いったい何でだ？ こういう疑問を払拭できないのは、Coq…