sphinx-contrib/proof

∎ A Sphinx extension to provide directives to typeset theorems, properties, proofs, etc.