有没有会使用Coq定理证明器的大神，求指点！！！coqIDE的使用，相关的书籍什么的都可以
交互式定理证明与程序开发Coq归纳构造演算的艺术
定理证明器Coq的理论扩展与在组合逻辑验证中的应用 https://download.csdn.net/download/jiangdmdr/9547376