The minimal proof language for Isabelle
Project description
The author of this package has not provided a project description
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
isamini-0.3.5.tar.gz
(18.8 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
isamini-0.3.5-py3-none-any.whl
(20.1 kB
view details)
File details
Details for the file isamini-0.3.5.tar.gz.
File metadata
- Download URL: isamini-0.3.5.tar.gz
- Upload date:
- Size: 18.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ae5234f45fd83e7734fed88067907966b0187c6a234cb45c55811216dbdad31b
|
|
| MD5 |
f8110268f988ed9173a54182229034e5
|
|
| BLAKE2b-256 |
ce4a423e4556ca5b1a641805eeb0c595544cc4341980aa4f3fbb495bfbcf1f80
|
File details
Details for the file isamini-0.3.5-py3-none-any.whl.
File metadata
- Download URL: isamini-0.3.5-py3-none-any.whl
- Upload date:
- Size: 20.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3eca0f31624b36451db6a9aa5fc69c0154c437466f1bdd734b79bcf1239149a8
|
|
| MD5 |
ffac225c376ee8cb2b961e1d154b455f
|
|
| BLAKE2b-256 |
ce8c27c2e0d340056c6f4f99a77a2aa254e8116ba38edfde66f4a83ac3a06a2e
|
