人机交互定理证明工具Coq的入门手册，可让用户快速了解Coq的使用方法，适合入门级用户。

关于人机交互式定理证明工具Coq的权威书籍，包括系统介绍、系统的理论基础以及递归式构造演算。