上面说过 请勿公布习题答案
company-coq 还是不错的
以前入门看过老版本的
那这么说 现在在"精通"的路上了
(捂脸)只是称赞一下这本书是绝妙的入门教材,写得非常好。我自己还停留在熟练工的阶段。