edits to proteus questions from Wednesday workshop#377
Merged
mattboelkins merged 3 commits intoactive-calculus:mainfrom Jun 25, 2025
rhinopotamus:main
Merged
edits to proteus questions from Wednesday workshop#377mattboelkins merged 3 commits intoactive-calculus:mainfrom rhinopotamus:main
mattboelkins merged 3 commits intoactive-calculus:mainfrom
rhinopotamus:main