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.7.tar.gz
(175.9 kB
view details)
File details
Details for the file pyprover9-0.0.7.tar.gz.
File metadata
- Download URL: pyprover9-0.0.7.tar.gz
- Upload date:
- Size: 175.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
56648ee4fd45f13a6fe37c6d7d50dcbd327177d33936d6ef3006f3fdbc9f8c7e
|
|
| MD5 |
fb341008a7e3e9a59cac1ee53c0783eb
|
|
| BLAKE2b-256 |
d90b728b218d6897d5da835c1ac4da10983c70b7821840709cb686ddd1903c25
|
