-
Coq定理证明工具安装包,可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼!
大小：202.23MB | 2020-08-05 03:20:59 -
Coq形式化验证的的中文教程,index.html是入口,对应的*.v文件是课程作业习题 需要配合C...
大小：3.35MB | 2020-08-05 03:20:58 -
Emacs，著名的集成开发环境和文本编辑器。Emacs被公认为是最受专业程序员喜爱的代码编辑器之一。...
大小：1.86MB | 2020-06-02 06:35:17 -
Windows3.2中文版发布于1994年，它是美国微软公司研发的一款基于MS-DOS的操作系统，W...
大小：26MB | 2019-07-13 02:47:59
Ta的上传资源列表