Colab wrapper for the Prover9 theorem prover
Project description
Colab wrapper written by Brandon Bennett for the Prover9 theorem prover by William McCune.
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
pyprover9-0.0.9.tar.gz
(176.0 kB
view details)
File details
Details for the file pyprover9-0.0.9.tar.gz.
File metadata
- Download URL: pyprover9-0.0.9.tar.gz
- Upload date:
- Size: 176.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
be2fd0d72b3d4e01173903a4b7c22917581e3af6e7de16729fe10d64b98fe324
|
|
| MD5 |
ae277bc6fabc3f4480394c8110680310
|
|
| BLAKE2b-256 |
0a063da0ef0aae2f26710b8453c7dc01b3e0eec3e5bef72ae6290adb42b65600
|
