pip install sphinxcontrib-prettyproof==0.0.3a0

A Sphinx extension for producing proofs, theorems, axioms, lemmas, etc.

Source
Among fairly niche packages on PyPI.
Over 584 downloads in the last 90 days.

Version usage of sphinxcontrib-prettyproof

Proportion of downloaded versions in the last 3 months (only versions over 1%).

0.0.2

31.68%

0.0.1rc0

23.97%

0.0.1b0

23.63%

0.0.1a0

19.86%