# coq

**Repository Path**: sn-yang/coq

## Basic Information

- **Project Name**: coq
- **Description**: 学习笔记: 交互式定理证明与程序开发 - Coq归纳构造演算的艺术
By Yves Bertot & Pierre Casteran

- **Primary Language**: Coq
- **License**: MIT
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-02-08
- **Last Updated**: 2022-05-21

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# coq

## 介绍
学习笔记: 交互式定理证明与程序开发 - Coq归纳构造演算的艺术
By Yves Bertot & Pierre Casteran

[项目 Pages](http://sn-yang.gitee.io/coq/)