有没有会使用Coq定理证明器的大神,求指点!!! 5C

有没有会使用Coq定理证明器的大神,求指点!!!coqIDE的使用,相关的书籍什么的都可以

2个回答

交互式定理证明与程序开发Coq归纳构造演算的艺术

定理证明器Coq的理论扩展与在组合逻辑验证中的应用 https://download.csdn.net/download/jiangdmdr/9547376

Csdn user default icon
上传中...
上传图片
插入图片
抄袭、复制答案,以达到刷声望分或其他目的的行为,在CSDN问答是严格禁止的,一经发现立刻封号。是时候展现真正的技术了!
立即提问