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.