Lean prover mathlib supporting tools.
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
mathlibtools-0.0.1.tar.gz
(4.9 kB
view hashes)
Built Distribution
Close
Hashes for mathlibtools-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5ebfddc8a13db826ec57b22c207ee50d60a04b37dffdac119850b01dee2254ea |
|
MD5 | 5572b7d7f895e824b249dd31bd7957e9 |
|
BLAKE2b-256 | 37c38dd9b21fe930bf82b22c23cd67db271e95440541bec36114fa2bd095d4e3 |