sphinx-proof (pypi): A Sphinx extension for producing proofs, theorems, axioms, etc.
Keywords: documentation|python|sphinx|sphinx-extension