Last released Jan 27, 2026
A Sphinx extension for producing proofs, theorems, axioms, etc.
Last released Nov 17, 2025
A Sphinx extension for producing exercises and solutions.
Last released Aug 25, 2020
A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.
Supported by
