GAPT 1.0阿尔法_Gapt 1.0 Alpha下载地址

通用体系结构为证明

GAPT是一个证明的理论框架。在创建的数据类型，运算法则，解析器，转换及其他部件，常见的一般理论证明和机械化证明的理论，特别是该框架的目标。

GAPT多么有用，它可以在您的神器出山:www.shenqi73.com开发项目进行了试驾！