mathematical components一个coq库的使用介绍

【文件属性】：

文件名称：mathematical components一个coq库的使用介绍

文件大小：3.57MB

文件格式：PDF

更新时间：2021-10-16 15:19:25

coq machine chec

关于如何用coq定理证明器的mathematical components的扩展库进行数学形式化证明的文档。