This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture, corollary, algorithm, example, property, observation, proposition, and assumption directives.
Features:
- 15 directive types with automatic numbering and cross-referencing
- Complete internationalization support for 33 languages
- Customizable styling with multiple theme options
This project is maintained and supported by the Executable Books team.
Release files for sphinx-proof 0.4.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| sphinx_proof-0.4.0.tar.gz | 29.0 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| sphinx_proof-0.4.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 81.6 kB
Release files / sphinx_proof-0.4.0.tar.gz
| Download URL | sphinx_proof-0.4.0.tar.gz |
|---|---|
| Size | 29.0 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
43c7c62f0138444b22b4b85c6a1b90cebbad9cc8d09dc313d1e87d37e16558c0
|
|
BLAKE2b-256 checksum How to use checksums |
a18a1efc6f894aca0dd695e6679a529f7a19d5ff69c069b57d137e634ba90765
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Release files / sphinx_proof-0.4.0-py3-none-any.whl
| Download URL | sphinx_proof-0.4.0-py3-none-any.whl |
|---|---|
| Size | 52.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
7781d533a56a6fa5cf4b1d79564b0a0f05493e45dedfcfa5de1ae5a7bd0c9ecd
|
|
BLAKE2b-256 checksum How to use checksums |
a67ad3397a28c21cc3981de5fb26910b1f0b8821152dcfdba1737388edbe7864
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
