Python tools for working with TLA+ specifications.
Project description
The author of this package has not provided a project description
Project details
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
tlapy-0.0.0.tar.gz
(1.1 kB
view details)
File details
Details for the file tlapy-0.0.0.tar.gz
.
File metadata
- Download URL: tlapy-0.0.0.tar.gz
- Upload date:
- Size: 1.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1c7e206a4e27d68805274a0d1d5b8cb537bdb1c3df8a8ec1ff48c8652a47f1a4 |
|
MD5 | fb0883a5b38e3e71c285000512d796ed |
|
BLAKE2b-256 | 895012a6e31c97607fd3a350cbec19b1a9c5790afc247364dd7f452c62421912 |