Python pyprover-0.5.4.tar.gz模块包
下面是该Python项目安装包的资源下载地址:
pyprover-0.5.4.tar.gz.source
文件名称:pyprover-0.5.4.tar.gz
版权声明:本程序为网上收集,用户上传,仅供研究学习计算机编程等技术为目的,版权归原作者所有。
所属PyPI项目:pyprover
文件大小: 31.9 kB
文件类型: Source
适用的Python版本:None
下载文件的哈希值:
SHA256:42aaa06297ad4c761c6ff292911aa3396a7437423356aba8eba131476099521e
MD5:7435a28c316193e6a9c9c718e1a2d832
BLAKE2-256:95fcee41dd592ee6d943529b9a09044733f7fff369eb31377b968852ec711f5f
选择下载地址 热度
851 ℃ | 2024-10-04
- 如果发现本程序安装包或源码失效或下载失败,可以联系站长修复!谢谢。
- 可以使用迅雷等多线程下载专用软件进行加速下载。
- 少部分程序支持BT/磁力下载。
- 少部分程序可能需要编译安装,或下载源码自行安装,也可以使用
pip
命令进行安装。 - 放在网盘上的资源可能会被限速,可能需要注册或者购买对方VIP服务才能快速的下载。
- 如遇压缩包需要密码解压的,密码为 www.cnpython.com (全部小写),不是此密码非本站下载资源。
PyPI项目包:pyprover
纯python谓词逻辑的解析定理证明。
- 此包Python名称:pyprover
- 目前版本: pyprover 0.4.7
- 最后维护时间:Jun 27, 2019
- 摘要:Resolution theorem proving for predicate logic in pure查看全文