Library to access different theorem provers
Project description
Just a simple python library to access multiple theorem provers through a common interface.
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
provers-0.1.18.tar.gz
(23.2 kB
view details)
File details
Details for the file provers-0.1.18.tar.gz.
File metadata
- Download URL: provers-0.1.18.tar.gz
- Upload date:
- Size: 23.2 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.2.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b
|
|
| MD5 |
edd3cff5cf48fb1f3ee0ea3cd9fdb911
|
|
| BLAKE2b-256 |
a08353fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf
|
