sphinxcontrib-prettyproof (pypi): A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.
Keywords: documentation|python|sphinx|sphinx-extension