From 83256dda73772d08a99aaa8e81b69079af4e768c Mon Sep 17 00:00:00 2001 From: Robert Lanzafame Date: Mon, 29 Sep 2025 10:17:08 -0700 Subject: [PATCH] sphinx proof text - copy updated format of exercise --- book/features/sphinx-proof.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/features/sphinx-proof.md b/book/features/sphinx-proof.md index b65a796..7627adb 100644 --- a/book/features/sphinx-proof.md +++ b/book/features/sphinx-proof.md @@ -16,9 +16,9 @@ This section is useful for user type 3-5. # Sphinx proof -This extensions provides an easy way to add proofs, theorem, axioms and much more to your book. It is documented on https://sphinx-proof.readthedocs.io/en/latest/. +This extensions provides an easy way to add proofs, theorem, axioms and much more to your book. It is created by the Executable Books team and is [documented here](https://sphinx-proof.readthedocs.io/en/latest/). -TeachBooks has made some small modifications to the original extension, such that it works well with translated books. +TeachBooks has made some small modifications to the original extension, such that it works well with translated books; this modified version is located in the repository [github.com/TeachBooks/sphinx-proof](https://github.com/TeachBooks/sphinx-proof). ## What does it do?