Ta上传的资源 (0)

Coq形式化验证的的中文教程,index.html是入口,对应的*.v文件是课程作业习题 需要配合Coq使用!

Emacs，著名的集成开发环境和文本编辑器。Emacs被公认为是最受专业程序员喜爱的代码编辑器之一。 本文档为Emacs所使用的脚本语言（Elisp）的参考手册，使用Elisp可以扩展Emacs的功能。

Windows3.2中文版发布于1994年，它是美国微软公司研发的一款基于MS-DOS的操作系统，Windows3.2相当于Windows3.1的一个中文版本。由于Windows3.2消除了语言障碍，降低了学习门槛
DOS 32