Revert "tst: sphinx-proof@main"

This reverts commit 52bce94.

Author: mmcky

environment-cn.yml

@@ -13,7 +13,7 @@ dependencies:
     - sphinxext-rediraffe==0.2.7
     - sphinx_reredirects==0.1.4
     - sphinx-exercise==1.0.1
-    - git+https://github.com/executablebooks/sphinx-proof.git@main
+    - sphinx-proof==0.2.1
     - ghp-import==1.1.0
     - sphinxcontrib-youtube==1.4.1 #Version 1.3.0 is required as quantecon-book-theme is only compatible with sphinx<=5
     - sphinx-togglebutton==0.3.2

environment.yml

@@ -11,7 +11,7 @@ dependencies:
     - sphinx-tojupyter==0.3.1
     - sphinxext-rediraffe==0.2.7
     - sphinx-exercise==1.0.1
-    - git+https://github.com/executablebooks/sphinx-proof.git@main
+    - sphinx-proof==0.2.1
     - sphinxcontrib-youtube==1.4.1
     - sphinx-togglebutton==0.3.2
     - sphinx-reredirects==0.1.4

lectures/_config.yml

@@ -34,7 +34,6 @@ latex:
 sphinx:
   extra_extensions: [sphinx_multitoc_numbering, sphinxext.rediraffe, sphinx_tojupyter, sphinxcontrib.youtube, sphinx.ext.todo, sphinx_exercise, sphinx_proof, sphinx_togglebutton, sphinx.ext.intersphinx, sphinx_reredirects]
   config:
-    language: zh_CN
     # false-positive links
     linkcheck_ignore: ['https://online.stat.psu.edu/stat415/book/export/html/834']
     bibtex_reference_style: author_year
@@ -91,6 +90,7 @@ sphinx:
         google_analytics_id: G-J0SMYR4SG3
       launch_buttons:
         colab_url                 : https://colab.research.google.com
+    intersphinx_mapping: 
     intersphinx_mapping:
       intermediate: 
         - https://python.quantecon.org/