A (highly experimental) Sphinx domain for the Lean theorem prover.
1 maintainer
Release files for sphinxcontrib-lean 0.3.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| sphinxcontrib-lean-0.3.1.tar.gz | 14.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl | Python 3, Python 2 | none | any | Details |
Total release size: 24.8 kB
Release files / sphinxcontrib-lean-0.3.1.tar.gz
| Download URL | sphinxcontrib-lean-0.3.1.tar.gz |
|---|---|
| Size | 14.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
f00c3fc4c4a849d6c0d94182bd2b739b109437bfee1aff2fd1ee116f65b37843
|
|
BLAKE2b-256 checksum How to use checksums |
1ff272db4edb8fc0333292f8c8482b3c6c8944d1799441184702c57813344cd3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
Release files / sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl
| Download URL | sphinxcontrib_lean-0.3.1-py2.py3-none-any.whl |
|---|---|
| Size | 10.5 kB |
| Tags | Python 2 Python 3 |
|
SHA-256 checksum How to use checksums |
896a8c20e00f3ab8b73cd08d78de5ef2c54a621b16b62b2e3f3ef3d744902333
|
|
BLAKE2b-256 checksum How to use checksums |
40dd3c2a2c71cdaea40d88919d0b0704bc655e85f7fa8f272f2904183610a3f9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is 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
|
