Heisler Marcel从HdM GitLab的STT Coqui服务器分叉。
Forked from HdM GitLab s STT Coqui Server by Heisler Marcel. (2024-02-29, Python, 0KB, 下载0次)
经典命题逻辑的验证表证明器（NNF），
A verfied tableau prover for classical propositional logic (in NNF), (2018-01-07, Coq, 0KB, 下载0次)
布尔逻辑公式的Coq认证预处理器，
A Coq-certified preprocessor for boolean logic formulae, (2021-01-19, Coq, 0KB, 下载0次)
Coq的通用Ctags optlib解析器，
Universal Ctags optlib parser for Coq, (2022-09-23, Coq, 0KB, 下载0次)
Coq中的认证正则表达式匹配器，
Certified regular expression matcher in Coq, (2020-03-17, Coq, 0KB, 下载0次)
一个非常简单的语言的编译器，在Coq中认证，
A compiler for a very simple language, certified in Coq, (2012-12-20, Coq, 0KB, 下载0次)
Coq插件，允许用户启动和停止计时器。，
A Coq plugin that allows a user to start and stop timers., (2016-02-25, Makefile, 0KB, 下载0次)
ASDF版本管理器的Coq插件。，
Coq plugin for ASDF version manager., (2020-03-27, Shell, 0KB, 下载0次)
论文：在Coq中规范化行编辑器，
Paper: Formalizing line editors in Coq, (2020-06-10, TeX, 0KB, 下载0次)
OPG（运算符优先语法）分析器，在Coq.中。，
OPG (Operator Precedence Grammar) Parser, in Coq., (2021-06-25, Haskell, 0KB, 下载0次)
用Coq编写的最小的、经过认证的、可执行的HTTP服务器，
A minimal, certified, executable HTTP server written in Coq, (2021-03-30, Coq, 0KB, 下载0次)
基于ALL（*）算法的解析器，在Coq.中实现和验证。，
A parser based on the ALL(*) algorithm, implemented and verified in Coq., (2023-02-14, Python, 0KB, 下载0次)
从Coq调用SMT解算器以检查义务，
Invoke SMT solvers from Coq to check obligations, (2020-06-16, OCaml, 0KB, 下载0次)
用于计算正确编译器II的Coq&Haskell代码，
Coq & Haskell code for Calculating Correct Compilers II, (2022-02-22, Coq, 0KB, 下载0次)
Coq中真正无状态并发模型检查器的形式化，
Formalization of the Truly Stateless Concurrency Model Checker in Coq, (2021-11-16, Coq, 0KB, 下载0次)
Compiler.org项目编译器中使用的算法的Coq形式化，
Formalization in Coq of algorithms used in compilers for the Compiler.org project, (2018-12-22, Coq, 0KB, 下载0次)
“用结构图证明编译器的正确性”一文的Coq证明，
Coq proofs for the paper "Proving Correctness of Compilers Using Structured Graphs", (2015-04-30, Coq, 0KB, 下载0次)
简单的coq伪编译器，用于玩关于日志的证明，
Simple coq dummy compiler for playing with proofs about logging, (2018-11-06, Coq, 0KB, 下载0次)
从Kind（Core）到Coq的实验编译器，
A experimental compiler from Kind (Core) to Coq, (2022-05-11, OCaml, 0KB, 下载0次)
中间存储器模型（IMM）及其编译正确性证明，
Intermediate Memory Model (IMM) and compilation correctness proofs for it, (2023-07-10, Coq, 0KB, 下载0次)