semvec/pypi-packages huggingface dataset:
sphinx-proof 0.4.0
A Sphinx extension for producing proofs, theorems, axioms, etc.
License: BSD
Requires Python: >=3.9


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, example, property, observation, proposition, and
assumption directives.

**Features:**
- 15 directive types with automatic numbering and cross-referencing
- Complete internationalization support for 33 languages
- Customizable styling with multiple theme options

This project is maintained and supported by the
[Executable Books team](https://github.com/executablebooks/).