The Coq Proof Assistant A Tutorial

【文件属性】：

文件名称：The Coq Proof Assistant A Tutorial

文件大小：225KB

文件格式：PDF

更新时间：2015-08-14 08:21:48

COQ 说明文档

COQ工具使用说明，软件可靠性验证，公式定理推导