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

dependabot[bot] wants to merge 1 commit 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