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