这个coq库的目的是用单价的观点来形式化大量的数学作品。
用Coq正式验证分布式系统实现的框架
分布式分离逻辑：分布式协议及其在Coq中的实现的复合验证框架
只需在纯文本中输入数学符号，就能创建漂亮的图表。
精心策划的数学资源清单
这个项目的目的是分享关于Streamlit是多么令人敬畏的知识，以及可以做到的事情。
将Coq移植到Javascript中 -- 在浏览器中运行Coq
Cosette是一个自动SQL解算器。
用于个人学习和实际工作的Coq范畴理论的无公理形式化
用Pharo进行科学计算
一种依赖类型的证明语言，旨在为工作中的软件工程师提供可证明正确的裸机代码。