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.2.0.tar.gz
(15.3 kB
view hashes)
Built Distribution
Close
Hashes for sphinxcontrib_lean-0.2.0-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c5bf89f8823b77ac8a21623de96969e2b030ff350c5d4d9b81932e75a701b244 |
|
MD5 | 369026896c5ab6d1a353d65e0e9127b2 |
|
BLAKE2b-256 | e0955b73f08fd6ec5670c40e596b27b479c302c6bd4fe8e15fe2d902278b3802 |