双图存储库，
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次)