该存储库包含与Coq相关的作业的练习和解决方案，Coq是一种强大的证明助手和基于构造类型理论的编程语言。
This repository contains exercises and solutions for assignments related to Coq, a powerful proof assistant and programming language based on constructive type theory. (2024-04-06, Coq, 0KB, 下载0次)
一个存储库，用于展示我对Coq编程语言的知识，并继续学习该语言。，
A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language., (2022-11-02, Coq, 0KB, 下载0次)
本杰明·皮尔斯类型和编程语言中类型化语言属性的Coq实现和证明，
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce s Types and Programming Languages, (2020-10-03, Coq, 0KB, 下载0次)
我们定义了一种简单的编程语言simp_lang，然后实例化Iris以验证具有并发分离的简单simp_lang程序...，
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic. (2023-05-17, Coq, 0KB, 下载0次)
在Coq[maintainer=[@anton-trunov]（https:github.com anton trunov）]中演示使用规范结构进行编程和证明的设计模式的库，
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=[@anton- trunov](https: github.com anton-trunov)], (2022-01-20, Coq, 0KB, 下载0次)