This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
Project description
This sphinx extension provides some directives to typeset theorems, properties, proofs, etc. You can see it in action in Jouets’ documentation.
What’s new?
See changelog.
Install
This module is compatible with python 3 only.
See the end of list for a (quick and dirty) Debian package.
From sources:
Install (in a virtualenv, if you do not want to mess with your distribution installation system):
python3 setup.py install
From pip:
pip install sphinxcontrib-proof
Quick and dirty Debian (and Ubuntu?) package
This requires stdeb to be installed:
python3 setup.py --command-packages=stdeb.command bdist_deb sudo dpkg -i deb_dist/python3-sphinxcontrib-proof-<VERSION>_all.deb
Documentation
The documentation is available on readthedocs. You can build it using:
cd doc && make html
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
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file sphinxcontrib_proof-1.7.1.tar.gz.
File metadata
- Download URL: sphinxcontrib_proof-1.7.1.tar.gz
- Upload date:
- Size: 93.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
b9cb2168135fe6670fdaf6377c70bcacce1166cd0ddd42debf950fd8b69d31bd
|
|
| MD5 |
0ba682bc7f7b88a10ce25d599d1a62df
|
|
| BLAKE2b-256 |
3ab9f79e012de61c6750d84ff695b799c7ba385f2ddcdeffe02e7c21650470fe
|
File details
Details for the file sphinxcontrib_proof-1.7.1-py3-none-any.whl.
File metadata
- Download URL: sphinxcontrib_proof-1.7.1-py3-none-any.whl
- Upload date:
- Size: 18.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2351f4405100de9b44d35504c67150917aac02b4906cb455ee253beef51ecdc0
|
|
| MD5 |
bac38c4981deff1a056bcb378f15f10a
|
|
| BLAKE2b-256 |
d7c6973fe67355c02602dc5a7fe10ed873082751e20895644309c0046ff883bc
|
