Last released Nov 19, 2024
A Sphinx extension for producing exercises and solutions.
Last released Sep 10, 2024
A Sphinx extension for producing proofs, theorems, axioms, etc.
Last released Aug 25, 2020
A Sphinx extension for producing proofs, theorems, lemmas, definitions, remarks, corollaries, conjectures and algorithms.
Supported by
