ManTa-开源

【文件属性】：

文件名称：ManTa-开源

文件大小：636KB

文件格式：GZ

更新时间：2024-07-23 20:05:52

开源软件

ManTa 是一种方程规范语言和支持它的工具：定理证明器、代码生成器（C 和 Ocaml）、前端。