ENH: Adds additional language support and fixes `sphinx` issues + updated manifests#146

Merged

mmcky merged 3 commits intoexecutablebooks:mainfrom

TeachBooks:main

Oct 20, 2025

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