Interactive Theorem Proving and Program Development的书评 (0)

如果你觉得一篇评论对你有帮助，请你点击“有用”。你的投票直接决定哪些评论出现在豆瓣首页和“豆瓣最受欢迎的评论”里，以及在书、电影和音乐介绍页里评论的排序。

所有“没用”的点击都是匿名的。