The author of this package has not provided a project description
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
keymaerax-0.0.1.tar.gz
(832 Bytes
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 keymaerax-0.0.1.tar.gz.
File metadata
- Download URL: keymaerax-0.0.1.tar.gz
- Upload date:
- Size: 832 Bytes
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/7.0.0 CPython/3.14.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
f9e95bee13d62b1b0a92b1d12783e5f8764e282fa353fecd3c540bf820083494
|
|
| MD5 |
c73021f4e03f5e3dd91bf08035abbd9b
|
|
| BLAKE2b-256 |
178ee06cbf6eca0ab30550e9f3b3bc56d6612628d92b7a014cc79acdaea5549d
|
File details
Details for the file keymaerax-0.0.1-py3-none-any.whl.
File metadata
- Download URL: keymaerax-0.0.1-py3-none-any.whl
- Upload date:
- Size: 1.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/7.0.0 CPython/3.14.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
52b8acdfb0b5bf3a288839f6e6c62feb3817721beabd9ffa622a6f2ce019877d
|
|
| MD5 |
3028a136b60ecca19486739a884d127c
|
|
| BLAKE2b-256 |
6920f2e156cdcb2e706e76408d676a37a11ba81e1399e7417f48e7378f731e9d
|
