Tools for sequent calculus.
Project description
Sequenz
Sequenz - the term used by Gerhard Karl Erich Gentzen.
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
sequenz-0.0.1.tar.gz
(2.1 kB
view details)
Built Distribution
File details
Details for the file sequenz-0.0.1.tar.gz.
File metadata
- Download URL: sequenz-0.0.1.tar.gz
- Upload date:
- Size: 2.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | d49d92dad9bd22cc9dfc9a49f5335e2998eaf8bf76a3b674b95dc3441f0fc5ae |
|
| MD5 | 699d453542df8808c46d24454936e673 |
|
| BLAKE2b-256 | 326435ee13308eb80814bb372ded4fa4822df54da01315b63fc3bd74b1258976 |
File details
Details for the file sequenz-0.0.1-py3-none-any.whl.
File metadata
- Download URL: sequenz-0.0.1-py3-none-any.whl
- Upload date:
- Size: 2.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.10.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 8629494c46f1571fd048c9508b9f5892fb82197240d761ea07804c7cd6f95e84 |
|
| MD5 | e2739191dafd6ade1ab2f9ccd7d55c48 |
|
| BLAKE2b-256 | 3a05d197b78c2dc865b4fae4aeef1497c4c9dcbcc009310b46bb37f7c91092b6 |
