Sphinx extension: sphinx-proof

D. den Ouden-van der Horst (Contributor)
Yuna Luzi (Creator)
Aakash Gupta Choudhury (Creator)
Matt McKay (Creator)
Toby Driscoll (Contributor)
Vincent-Xavier Jumel (Contributor)
Dario Malchiodi (Contributor)
Tomas Talasek (Contributor)
Shailesh Kumar (Contributor)
Nicolas M. Thiéry (Contributor)
Angus Hollands (Contributor)
Andrij Stachurski (Contributor)

Numerical Analysis

Dataset

Description

This package contains a Sphinx extension for producing proof, theorem, axiom, lemma, definition, criterion, remark, conjecture, corollary, algorithm, example, property, observation, proposition and assumption directives.

Date made available	28 Jul 2025
Publisher	GitHub

Access Dataset

https://github.com/TeachBooks/sphinx-proof

Cite this

DataSetCite

den Ouden-van der Horst, D. (Contributor), Luzi, Y. (Creator), Gupta Choudhury, A. (Creator), McKay, M. (Creator), Driscoll, T. (Contributor), Jumel, V. (Contributor), Malchiodi, D. (Contributor), Talasek, T. (Contributor), Kumar, S. (Contributor), Thiéry, N. M. (Contributor), Hollands, A. (Contributor), Stachurski, A. (Contributor) (28 Jul 2025). Sphinx extension: sphinx-proof. GitHub.