A proof extension for Sphinx.

This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture, corollary, algorithm, example, property, observation, proposition and assumption directives.

To get started with sphinx-proof, first install it through pip:

pip install sphinx-proof

then, add sphinx_proof to your sphinx extensions in the conf.py

...
extensions = ["sphinx_proof"]
...

See the Sphinx Proof documentation for more information.

We welcome all contributions! See the EBP Contributing Guide for general details, and below for guidance specific to sphinx-proof.