Resolution theorem proving for predicate logic in pure Python.
Project description
The author of this package has not provided a project description
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pyprover-0.6.2.tar.gz
(53.1 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file pyprover-0.6.2.tar.gz.
File metadata
- Download URL: pyprover-0.6.2.tar.gz
- Upload date:
- Size: 53.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
6a1ef91a1b80513eb1554e8481aec608f1f598d263a34e7268286db371806b28
|
|
| MD5 |
3f86c67849bb1dbbedc0694f9b37ebc0
|
|
| BLAKE2b-256 |
f2f4684d60fae957f1f6c4dba373cecbf635fa0d2babc2f0190fbdb781b1b831
|
File details
Details for the file pyprover-0.6.2-py2.py3-none-any.whl.
File metadata
- Download URL: pyprover-0.6.2-py2.py3-none-any.whl
- Upload date:
- Size: 50.0 kB
- Tags: Python 2, Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.8.0 pkginfo/1.8.2 readme-renderer/32.0 requests/2.27.1 requests-toolbelt/0.9.1 urllib3/1.26.8 tqdm/4.63.0 importlib-metadata/4.11.2 keyring/23.5.0 rfc3986/2.0.0 colorama/0.4.4 CPython/3.9.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
951891247bfc8aff3a005777adbccc38b22346298afe663a56b305092b025620
|
|
| MD5 |
26f0d100c5019cc72ccbf829c891ef93
|
|
| BLAKE2b-256 |
126c1530f93ba7138523a399ba7b7959465147c271254c133650f5714aace41a
|
