A Proof Assistant in Python
Project description
qmars: A Proof Assistant in Python
Version 0.1.0; still under development.
You may find me at ali.hadizadeh atsymbol sharif dot edu.
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
qmars-0.1.0.post1.tar.gz
(14.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 qmars-0.1.0.post1.tar.gz.
File metadata
- Download URL: qmars-0.1.0.post1.tar.gz
- Upload date:
- Size: 14.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.14.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
3eda09835b57bb615aa93ffc981803dcc10eec6b8079af32188a3b1e3733220e
|
|
| MD5 |
c55e49e0f3b0ccd6efc23de8ac41f36a
|
|
| BLAKE2b-256 |
ee557aae5ea4be706af3764e27203f5be44ca18fe60617ba07fb8716813a48c8
|
File details
Details for the file qmars-0.1.0.post1-py3-none-any.whl.
File metadata
- Download URL: qmars-0.1.0.post1-py3-none-any.whl
- Upload date:
- Size: 19.5 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.14.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c5574480e5b52bf6641be3317887974d760807fc4e46ca05b0743d2131163756
|
|
| MD5 |
b345d6f3ebf4ff33473ed24c4aac1d5b
|
|
| BLAKE2b-256 |
ac669d172a78fc3f773ce51a458cce8cbf8e39ec9b377601cd0deefb51543e5c
|
