ManTa-开源 时间:2024-07-23 20:05:52 【文件属性】: 文件名称:ManTa-开源 文件大小:636KB 文件格式:GZ 更新时间:2024-07-23 20:05:52 开源软件 ManTa 是一种方程规范语言和支持它的工具:定理证明器、代码生成器(C 和 Ocaml)、前端。 立即下载