陶文倩 发表于 2012-9-13 18:58:47

形式化方法开发环境coq手册

人机交互定理证明工具Coq的入门手册，可让用户快速了解Coq的使用方法，适合入门级用户。
怎么添加不了附件啊？还是把地址贴上来好了。见谅
http://download.csdn.net/detail/jiaxiang0924/3191016

callmesb 发表于 2012-9-13 21:10:16

看用户手册就好。。

sissi 发表于 2012-9-14 10:54:55

第一次作业的文档看了两个晚上才看完

mrmign 发表于 2012-9-14 14:34:50

形式化方法开课了吗？

陶文倩 发表于 2012-9-14 14:54:34

mrmign 发表于 2012-9-14 14:34 static/image/common/back.gif
形式化方法开课了吗？

是啊。。。

n168 发表于 2012-9-16 01:12:25

顶好东西{:6_203:}{:6_207:}

张杜玮 发表于 2012-9-26 09:17:13

顶好东西
页: [1]
查看完整版本: 形式化方法开发环境coq手册