executablebooks/sphinx-proof
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
Stars: 35Language: Python
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.