Last released Sep 10, 2024
A Sphinx extension for producing proofs, theorems, axioms, etc.
Last released Jan 23, 2023
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
