nthiery/sphinx-proof
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
PythonMIT
Watchers
No one’s watching this repository yet.
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
PythonMIT
No one’s watching this repository yet.