mathematical components一个coq库的使用介绍 关于如何用coq定理证明器的mathematical components的扩展库进行数学形式化证明... 大小：3.57MB | 2018-12-25 12:31:47
