一阶双直觉逻辑相对于常域Kripke语义的完备性证明。
Completeness proof for first-order bi-intuitionistic logic relative to constant domain Kripke semantics. (2024-07-24, Coq, 0KB, 下载0次)
“双控制量子门的最优实现”的证明验证。
A proof verification of "Optimal Implementation of Quantum Gates with Two Controls". (2024-05-15, Coq, 0KB, 下载0次)
双图存储库，
A Repository for Bigraphs, (2023-06-19, Coq, 0KB, 下载0次)
CS2603（2021 Spring）的最终项目：使用VST验证双链接列表库，
The final project for CS2603 (2021 Spring): Verifying a doubly linked list library using VST, (2021-06-07, Coq, 0KB, 下载0次)
涉及天平的娱乐谜题的Coq形式化。，
Formalization in Coq of recreational puzzles involving scales., (2016-01-30, Coq, 0KB, 下载0次)
Coq.中的Arity泛型数据类型泛型或双泛型编程。，
Arity-generic datatype-generic, or doubly-generic, programming in Coq., (2021-05-08, Coq, 0KB, 下载0次)
考克塔尔，，
coqtail,, (2020-10-19, Coq, 0KB, 下载0次)
学习与校对助理COQ合作，
Learned to work with a proof assistant COQ, (2022-01-23, Coq, 0KB, 下载0次)
与coq和tezos合作，
working with coq and tezos, (2017-07-20, Coq, 0KB, 下载0次)
科克（Coq）中关于Kirby和Paris hydra战斗和其他娱乐数学的变体（协作，记录，包括练习）[maintainer=[@...]（https:github.com Casteran），
Variations on Kirby & Paris hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran] (2023-07-11, Coq, 0KB, 下载0次)
Coq的河内塔，
Hanoi tower in Coq, (2023-06-16, Coq, 0KB, 下载0次)
使用Verilog HDL在FPGA中实现双三次插值
use Verilog HDL implemente bicubic interpolation in FPGA (2019-12-31, Coq, 2792KB, 下载0次)