极速下载，酣畅淋漓
轻松点击，一键安装
软件介绍:
Coq作为一个发展系统,提供了两个方法以及各种互动证明的注册决策和算法。提供了一个协议了外部计算机代数系统结合provers或定理。
coq
方便使用更快、更高效 立即下载
软件介绍:
Coq作为一个发展系统,提供了两个方法以及各种互动证明的注册决策和算法。提供了一个协议了外部计算机代数系统结合provers或定理。
coq
方便使用