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.17.tar.gz
(386.4 kB
view details)
File details
Details for the file pyprover9-0.0.17.tar.gz.
File metadata
- Download URL: pyprover9-0.0.17.tar.gz
- Upload date:
- Size: 386.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.12.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c9df9524bdd4821e8fb027e50d68c5ca2706c20be2e6ae9f9e011fc6f5b7c981
|
|
| MD5 |
d3539ac37d6c8300340f9881dc05d3a0
|
|
| BLAKE2b-256 |
107a5175198c6f28a184bddfab8010c23a3b32e018dd50a327b480399e2c1a60
|
