semvec/pypi-packages huggingface dataset:
sphinxcontrib-pretty-proof 0.1.13
A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.
License: BSD
Requires Python: >=3.6

This package contains a [Sphinx](http://www.sphinx-doc.org/en/master/) extension
for producing proof, theorem, lemma, definition, remark, conjecture, corollary and
algorithm directives.

This project is maintained and supported by [najuzilu](https://github.com/najuzilu).