2018年功能编程代码，
Code for 2018 Functional Programming, (2020-05-26, Coq, 0KB, 下载0次)
Brainfuck编程语言的Coq形式化，
A Coq Formalization of the Brainfuck programming language, (2021-10-09, Coq, 0KB, 下载0次)
STLC中“通用”编程的“概念参数”的Coq形式化，
Coq formalization of "concept parameters" for "generic" programming in STLC, (2017-06-19, Coq, 0KB, 下载0次)
我在Coq语言和认证编程的道路上所做的一切。，
WHAT I have done on the road to Coq language and certified programming., (2016-09-10, Coq, 0KB, 下载0次)
Coq中的渐进认证编程库，
A library for Gradual Certified Programming in Coq, (2015-06-13, Coq, 0KB, 下载0次)
Coq代码附带了几篇关于函数编程语言语义的文章，
Coq code accompanying several articles on semantics of functional programming languages, (2018-10-15, Coq, 0KB, 下载0次)
Haskell函数式编程的代码实例以及教程,
Code examples and tutorials of Haskell functional programming, (2013-05-18, Coq, 0KB, 下载0次)
我们反对竞争性编程中的草率论点，并提高严格标准，
We combat sloppy arguments in competitive programming and raise the standard of rigor, (2023-09-12, Coq, 0KB, 下载0次)
Coq中元编程的rosetta石头，在不同的元编程局域网中实现了不同的策略、插件等示例...，
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster] (2023-07-04, Coq, 0KB, 下载0次)
Coq证明助手中的PostScript编程，
PostScript programming in the Coq proof assistant, (2014-06-12, Coq, 0KB, 下载0次)
关系编程训练的认证语义。，
A certified semantics for relational programming workout., (2020-10-15, 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次)
关于通过SSReflect.在Coq中证明编程的短期课程的讲稿。，
Lecture notes for a short course on proving programming in Coq via SSReflect., (2021-06-24, Coq, 0KB, 下载0次)
用于验证低级编程的在制品语言和编译器，
A work-in-progress language and compiler for verified low-level programming, (2023-07-22, Coq, 0KB, 下载0次)
副本：通用编程和未绑定：粘合剂的通用处理，
Replib: generic programming & Unbound: generic treatment of binders, (2022-10-18, Coq, 0KB, 下载0次)
用于验证低级编程的Coq库，
Coq library for verified low-level programming, (2017-06-15, 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次)
Coq中的元编程，
Metaprogramming in Coq, (2023-07-11, Coq, 0KB, 下载0次)
智能法律合同编程语言
Programming Language for Smart Legal Contracts (2023-04-09, Coq, 0KB, 下载0次)
该包使用函数编程风格提供了抽象代数的Coq形式化。模块包括...
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs. (2019-02-28, Coq, 0KB, 下载0次)