COQ tutorial 时间:2014-10-09 16:22:00 【文件属性】: 文件名称:COQ tutorial 文件大小:197KB 文件格式:PDF 更新时间:2014-10-09 16:22:00 COQ theorem prover COQ is a theorem prover. here is a tutorial for COQ 立即下载