executablebooks / sphinx-proof

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.

https://sphinx-proof.readthedocs.io/en/latest/

executablebooks/sphinx-proof Stargazers