Coq中文教程.tgz
Coq形式化验证的的中文教程,index.html是入口,对应的*.v文件是课程作业习题 需要配合Coq使用!
文件列表
Coq中文教程.tgz
(预估有个174文件)
_CoqProject
8B
Open-Sans-800.eot
19KB
Open-Sans-600.eot
18KB
Open-Sans-regular.eot
18KB
Open-Sans-300.eot
18KB
Open-Sans-700.eot
18KB
jquery-ui.theme.min.css
14KB
jquery-ui.structure.min.css
1KB
jquery-ui.structure.css
2KB
jquery-ui.min.css
16KB
暂无评论