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: over 1 year ago
2 dependent packages
463 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/pypi.org/packages/sphinxcontrib.proof