pyprover - 解决定理证明纯 Python 中的谓词逻辑。

解决定理证明纯 Python 中的谓词逻辑。

项目描述

这个包的作者没有提供项目描述

项目详情

发布历史发布通知| RSS订阅

这个版本

0.6.2

2022 年 3 月 2 日

0.6.1

2022 年 3 月 2 日

0.6.0

2022 年 2 月 21 日

0.5.6

2021 年 6 月 26 日

0.5.5

2021 年 6 月 26 日

0.5.4

2020 年 1 月 7 日

0.5.3

2019 年 11 月 1 日

0.5.2

2019 年 11 月 1 日

0.5.1

2019 年 11 月 1 日

0.5.0

2019 年 10 月 31 日

0.4.7

2019 年 6 月 27 日

0.4.6

2019 年 4 月 16 日

0.4.5

2019 年 3 月 13 日

0.4.4

2017 年 8 月 26 日

0.4.3

2017 年 3 月 18 日

0.4.2

2017 年 3 月 18 日

0.4.1

2017 年 3 月 16 日

0.4.0

2017 年 3 月 14 日

0.3.1

2017 年 3 月 11 日

0.3.0

2017 年 3 月 8 日

0.2.1

2017 年 3 月 8 日

0.2.0

2017 年 3 月 7 日

0.1.1

2017 年 3 月 6 日

0.1.0

2017 年 3 月 5 日

0.0.2

2017 年 3 月 5 日

0.0.1

2017 年 3 月 5 日

下载文件

下载适用于您平台的文件。如果您不确定要选择哪个，请了解有关安装包的更多信息。

源分布

pyprover-0.6.2.tar.gz （53.1 kB 查看哈希）

已上传 2022 年 3 月 2 日 source

内置分布

pyprover-0.6.2-py2.py3-none-any.whl （50.0 kB 查看哈希）

已上传 2022 年 3 月 2 日 py2 py3

pyprover -0.6.2.tar.gz 的哈希值

pyprover-0.6.2.tar.gz 的哈希值
算法	哈希摘要
SHA256	`6a1ef91a1b80513eb1554e8481aec608f1f598d263a34e7268286db371806b28`
MD5	`3f86c67849bb1dbbedc0694f9b37ebc0`
布莱克2-256	`f2f4684d60fae957f1f6c4dba373cecbf635fa0d2babc2f0190fbdb781b1b831`

pyprover -0.6.2-py2.py3-none-any.whl 的哈希值

pyprover-0.6.2-py2.py3-none-any.whl 的哈希值
算法	哈希摘要
SHA256	`951891247bfc8aff3a005777adbccc38b22346298afe663a56b305092b025620`
MD5	`26f0d100c5019cc72ccbf829c891ef93`
布莱克2-256	`126c1530f93ba7138523a399ba7b7959465147c271254c133650f5714aace41a`

pyprover 0.6.2

导航

项目链接

统计数据

Meta

Maintainers

分类

项目描述

项目详情

项目链接

统计数据

元

维护者

分类器

发布历史发布通知| RSS订阅

下载文件

源分布

内置分布

pyprover 0.6.2

导航

项目链接

统计数据

Meta

Maintainers

分类

项目描述

项目详情

项目链接

统计数据

元

维护者

分类器

发布历史 发布通知| RSS订阅

下载文件

源分布

内置分布

发布历史发布通知| RSS订阅