⬆️ Bump sphinx-proof from 0.3.0 to 0.4.0#796

mmcky merged 2 commits intomainQuantEcon/lecture-python.myst:mainfrom

dependabot/conda/sphinx-proof-0.4.0QuantEcon/lecture-python.myst:dependabot/conda/sphinx-proof-0.4.0Copy head branch name to clipboard