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
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
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
|
