diff --git a/requirements.txt b/requirements.txt
index 334c95f7c28a50c0ba18c75965dce4a174521f60..40fa1040cbd167f1bd5e2e9f88957d092e4d7b4b 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -5,4 +5,5 @@ scipy
 matplotlib
 myst_nb
 sphinx-exercise
+sphinx-proof
 jupyterquiz