Package Usage: pypi: sphinxcontrib.proof
This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
11 versions
Latest release: almost 2 years ago
2 dependent packages
463 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/pypi.org/packages/sphinxcontrib.proof