sphinxcontrib-proof (pypi): This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
Keywords: sphinx|math|proof|theorem