文件名称：coq-intro:Coq证明定理和证明程序的简介
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-03 01:57:24
Coq
常见问题解答简介 用证明定理和证明程序的简介。 随附的幻灯片可在找到。 指示 确保您具有下面列出的依赖项。 然后，您可以运行make来验证证明。 可以使用make clean构建工件。 依存关系 构建系统取决于以下内容： > = 3.79.1 > = 8.7.2 您还需要一套常用的Unix工具，例如echo ， find等。
【文件预览】：
coq-intro-master
----.gitignore(97B)
----Makefile(1KB)
----_CoqProject(43B)
----.travis.yml(175B)
----README.md(784B)
----coq()
--------Lesson0_Intro.v(1KB)
--------Lesson1_DependentTypes.v(1KB)
--------Lesson2_Logic.v(2KB)
--------Lesson3_Induction.v(1KB)