掌握Coq编程的艺术
Mastering the Art of Coq Programming (2024-03-28, Coq, 0KB, 下载0次)
软件基础.第2卷：编程语言基础
Software Foundations - Volumn 2 : Programming Language Foundations (2024-01-25, Coq, 0KB, 下载0次)
认证编程，，
CertifiedProgramming,, (2023-10-09, Coq, 0KB, 下载0次)
V编程语言的OpenGL绑定，
OpenGL bindings for the V programming language, (2023-09-30, Coq, 0KB, 下载0次)
演示文稿：广告Coq-证明是编程，
Presentation: Advertising Coq - Proving is Programming, (2022-06-18, Coq, 0KB, 下载0次)
乱搞“具有依赖类型的认证编程”，
messing around with "Certified Programming with Dependent Types", (2023-01-31, Coq, 0KB, 下载0次)
类型和编程语言，
Types and Programming Languages, (2019-06-12, Coq, 0KB, 下载0次)
CS386L编程语言作业，
CS386L Programming Language assignments, (2018-05-13, Coq, 0KB, 下载0次)
我在Coq（函数式编程语言）中的工作，
My work in Coq (A functional programming language), (2016-12-06, Coq, 0KB, 下载0次)
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次)
Coq中的渐进认证编程库，
A library for Gradual Certified Programming in Coq, (2015-06-13, Coq, 0KB, 下载0次)
Haskell函数式编程的代码实例以及教程,
Code examples and tutorials of Haskell functional programming, (2013-05-18, 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次)
副本：通用编程和未绑定：粘合剂的通用处理，
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次)
MetaCoq中的元编程练习，
Metaprogramming exercises in MetaCoq, (2022-11-03, Coq, 0KB, 下载0次)
Coq中的元编程，
Metaprogramming in Coq, (2023-07-11, Coq, 0KB, 下载0次)