Provide sphinx directives to typeset theorems, properties, proofs, etc.
https://framagit.org/spalax/sphinxcontrib-proof.git
stable