A Sphinx domain for the Lean theorem prover
Project description
A (highly experimental) Sphinx domain for the Lean theorem prover.
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 details)
Built Distribution
File details
Details for the file sphinxcontrib-lean-0.3.1.tar.gz.
File metadata
- Download URL: sphinxcontrib-lean-0.3.1.tar.gz
- Upload date:
- Size: 14.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | f00c3fc4c4a849d6c0d94182bd2b739b109437bfee1aff2fd1ee116f65b37843 |
|
| MD5 | bec6d45a156391ea97df4d02cbc58159 |
|
| BLAKE2b-256 | 1ff272db4edb8fc0333292f8c8482b3c6c8944d1799441184702c57813344cd3 |
File details
Details for the file sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl.
File metadata
- Download URL: sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl
- Upload date:
- Size: 10.5 kB
- Tags: Python 2, Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.8.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 896a8c20e00f3ab8b73cd08d78de5ef2c54a621b16b62b2e3f3ef3d744902333 |
|
| MD5 | e22a5c80eed1855de9f4a4f95ea76765 |
|
| BLAKE2b-256 | 40dd3c2a2c71cdaea40d88919d0b0704bc655e85f7fa8f272f2904183610a3f9 |
