proof logic:证明逻辑:定理证明的逻辑框架 开源 上传者：ranch3493 2021-05-11 12:14:14上传 TGZ文件 89.93KB 热度 48次 证明逻辑是基于组合逻辑和Lambda微积分的定理证明的功能和方程逻辑框架,其表达既是项又是证明两个项相等的证明。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
