Python项目简述:纯python谓词逻辑的解析定理证明。
Python pyprover项目包的下载文件:
为您的平台下载该文件。如果您不确定选择哪个,请了解更多 安装包指南.
文件名 & 大小 | 文件类 型 | Python版本 | 上传日期 | 详情页 |
---|---|---|---|---|
pyprover-0.5.4.tar.gz [ 31.9 kB ] | Source | None | Jan 7, 2020 | Hashes 查 看 |
Python项目简述:纯python谓词逻辑的解析定理证明。
为您的平台下载该文件。如果您不确定选择哪个,请了解更多 安装包指南.
文件名 & 大小 | 文件类 型 | Python版本 | 上传日期 | 详情页 |
---|---|---|---|---|
pyprover-0.5.4.tar.gz [ 31.9 kB ] | Source | None | Jan 7, 2020 | Hashes 查 看 |