Update MANIFEST.in to include more sphinx_proof files#146

Open

douden wants to merge 3 commits intoexecutablebooks:mainfrom

TeachBooks:main

Commits on Jul 28, 2025

Update MANIFEST.in to include more sphinx_proof files
douden
committed

Commits on Jul 30, 2025

Expand translation coverage for proof terms
douden
committed

Commits on Oct 16, 2025

Add support for notation directive and translations
douden
committed