Coq定理证明器入门

作者：曹钦翔

章节列表

1. 简单Coq证明与Coq定义 pdf / v

* Manual01 pdf

2. 关于逻辑的证明 pdf / v

* Manual02 pdf

3. 归纳类型 pdf / v

4. 基于代数结构的证明支持 pdf / v

5. 集合与关系 pdf / v

6. 布尔类型 pdf / v