A Sphinx domain for the Lean theorem prover
Project description
A (highly experimental) Sphinx domain for the Lean theorem prover.
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
sphinxcontrib-lean-0.3.1.tar.gz
(14.3 kB
view hashes)
Built Distribution
Close
Hashes for sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 896a8c20e00f3ab8b73cd08d78de5ef2c54a621b16b62b2e3f3ef3d744902333 |
|
MD5 | e22a5c80eed1855de9f4a4f95ea76765 |
|
BLAKE2b-256 | 40dd3c2a2c71cdaea40d88919d0b0704bc655e85f7fa8f272f2904183610a3f9 |