diff --git a/book/_config.yml b/book/_config.yml
index d7032eb..aec63b7 100644
--- a/book/_config.yml
+++ b/book/_config.yml
@@ -40,14 +40,16 @@ sphinx:                                              # Options passed on to the
         mtextInheritFont: true                       # To typeset text within math prettier
       }
   extra_extensions:                                  # Gives you a starter package of extensions to use in your book
-    - jupyterbook_patches                            # Patches by TeachBooks https://github.com/TeachBooks/JupyterBook-Patches
-    - download_link_replacer                         # Allows you to replace and add downloadable files to a page header https://teachbooks.io/manual/external/Download-Link-Replacer/README.html
-    - sphinx_image_inverter                          # Inverts images for dark mode https://teachbooks.io/manual/external/Sphinx-Image-Inverter/README.html
-    - sphinx_iframes                                 # Eases the embedding of iframes https://teachbooks.io/manual/external/sphinx-iframes/README.html
-    - sphinx_exercise                                # Allows you to add exercise boxes to your book https://ebp-sphinx-exercise.readthedocs.io/en/latest/
-    - teachbooks_sphinx_tippy                        # Enables hoover over tips https://teachbooks.io/manual/external/teachbooks-sphinx-tippy/README.html
-    - sphinx_named_colors                            # Allows you to use custom colors in your book https://teachbooks.io/manual/external/Sphinx-Named-Colors/README.html
+    - jupyterbook_patches                            # Various patches by TeachBooks: https://github.com/TeachBooks/JupyterBook-Patches
+    - download_link_replacer                         # Allows you to replace and add downloadable files to a page header: https://teachbooks.io/manual/external/Download-Link-Replacer/README.html
+    - sphinx_image_inverter                          # Inverts images for dark mode: https://teachbooks.io/manual/external/Sphinx-Image-Inverter/README.html
+    - sphinx_iframes                                 # Eases the embedding of iframes: https://teachbooks.io/manual/external/sphinx-iframes/README.html
+    - sphinx_exercise                                # Allows you to add exercise boxes to your book: https://ebp-sphinx-exercise.readthedocs.io/en/latest/
+    - teachbooks_sphinx_tippy                        # Enables hoover over tips: https://teachbooks.io/manual/external/teachbooks-sphinx-tippy/README.html
+    - sphinx_named_colors                            # Allows you to use custom colors in your book: https://teachbooks.io/manual/external/Sphinx-Named-Colors/README.html
     - sphinx_dropdown_toggle                         # Adds a button to toggle all dropdowns with one click
+    - sphinx_proof                                   # Allows you to add various mathy admonitions to your book: https://sphinx-proof.readthedocs.io/en/latest/
+    - sphinx_code_examples                           # Allows you to include code blocks in examples: https://teachbooks.io/manual/_git/github.com_TeachBooks_sphinx-code-examples/main/MANUAL.html
 
 bibtex_bibfiles: 
   - references.bib                                   # Required for references