semvec/pypi-packages huggingface dataset:
sphinxcontrib-prettyproof 0.0.3a0
A Sphinx extension for producing proofs, theorems, axioms, lemmas, etc.
License: BSD
Requires Python: >=3.6

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

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