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.6.0
Required dependencies:
jinja2
|
sphinx
Downloads last day:
20
Downloads last week:
67
Downloads last month:
406