数学成分顺应分析库
关于形式验证的课程，https://compsciclub.ru/en，2021年春季学期
分布式分离逻辑：分布式协议及其在Coq中的实现的复合验证框架
四色定理的正式证明 [维护者=@ybertot]
关于通过SSReflect在Coq中证明/编程的短期课程的讲义。
数学成分
信息理论和线性纠错码的Coq形式化
Coq有效代数库 [维护者=@CohenCyril,@proux01] 。
Coq中的单体效应和等式推理
基于打包的类来声明层次结构的高级命令
该程序读取降雨量的测量数据，并计算降雨量的分布，作为持续时间和持续时间的函数，持续时间步长为12小时（及以上），持续时间范围为'0.5a ...