Repository info

sphinx-proof

• Summary: a summary of sphinx-proof
• Description: A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
• Stars: 35
• Number of forks: 20