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 and proposition directives.
0.0.3 is in a development stage and may change rapidly.
directives are automatically numbered
supports directive options such as
can easily be referenced through
To get started with
sphinx-proof, first install it through
pip install sphinx-proof
sphinx_proof to your extra_extensions config in
sphinx: extra_extensions: - sphinx_proof
you may then use
jb build <project> and the extension will be used by your
sphinx_proof to your sphinx
extensions in the
... extensions = ["sphinx_proof"] ...
you may then build using
make html and the extension will be used by your