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