文件名称：coq-tutorial
文件大小：31KB
文件格式：ZIP
更新时间：2024-07-11 07:06:15
Coq
使用 Coq for B522 的注意事项 这些笔记给出了Isabelle/HOL 示例。 它们被设计为 Coq 教程课程的讲义和参考资料，而不是作为独立的笔记。 注意，这不是对 Coq 的正确介绍。 有关正确的介绍，请参阅以下内容之一： 在 Coq 官方网站上： Adam Chlipala 的 (2008) — Coq 实用工程教科书 Benjamin Pierce 等人的。 (2007+) — 基于 Coq 的逻辑、函数式编程和编程语言基础教科书 许可 该库是在宽松的 BSD 3 条款许可下发布的，有关详细信息，请参阅文件LICENSE 。 简而言之，这意味着您可以用它做任何您喜欢的事情，只要您保留版权信息。 当然，没有保修！
【文件预览】：
coq-tutorial-master
----.gitignore(217B)
----Chapter1.v(19KB)
----LNVarMap.v(3KB)
----Chapter4.v(44KB)
----LNTerm.v(9KB)
----README.md(1KB)
----LNSet.v(3KB)
----LNTermSubst.v(25KB)
----LNVar.v(5KB)