sphinx-proof
sphinx-proof copied to clipboard
executablebooks
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
sphinx-proof
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.
Get started
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"]
...
Documentation
See the Sphinx Proof documentation for more information.
Contributing
We welcome all contributions! See the EBP Contributing Guide for general details, and below for guidance specific to sphinx-proof.
Metadata
Owner
executablebooks
Metadata
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.