PyPI page
Home page
Author:
Louis Paternault
License:
AGPLv3 or any later version
Summary:
This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc.
Latest version:
1.7.1
Required dependencies:
jinja2
|
sphinx
Downloads last day:
6
Downloads last week:
68
Downloads last month:
791