Factual package intelligence from PyPI
This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
pip install sphinxcontrib-proof
PyPI declares 2 unique dependency rules for this release. Environment markers are shown when supplied by the project.
sphinxcontrib-proof publishes 1 wheel and 1 source archive for version 1.7.1. Wheel platform tags: any.
Declared Python classifiers: 3.10, 3.11, 3.12, 3.13, 3.14, 3.8, 3.9.
PyPI lists 13 releases with files. The first dated release is ; 2 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .