GitHub repository: najuzilu/sphinxcontrib-prettyproof
Primary language: Python
Description: A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.