A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
Home Page:https://sphinx-proof.readthedocs.io/en/latest/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool