najuzilu/jupyterbook_proof_example

Step-by-step example of how to utilize this extension in Jupyter Book

Utilizing Jupyter Book with sphinxcontrib-prettyproof

Below are some instructions on how to setup a Jupyter Book example and utilize the sphinxcontrib-prettyproof extension.

conda create -n myproofbook pip
conda activate myproofbook
pip install jupyter-book
pip install sphinxcontrib-prettyproof

jupyter-book create myproofbook
cd myproofbook

Add extension under _config.yml:

sphinx:
  extra_extensions:
    - sphinxcontrib.prettyproof

Now introduce proof and theorem directives:

This is a proof directive.

This is a theorem directive.

Next build the book:

jb clean .
jb build .