A proof extension for Sphinx.
This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criteria, remark, conjecture, corollary, algorithm and exercise directives.
To get started with sphinxcontrib-prettyproof, first install it through pip:
pip install sphinxcontrib-prettyproof
then, add sphinxcontrib.prettyproof to your sphinx extensions in the conf.py
...
extensions = ["sphinxcontrib.prettyproof"]
...See the Sphinxcontrib Pretty Proof documentation for more information.