typo fixes in proteus 2.3#347
Merged
mattboelkins merged 1 commit intoactive-calculus:mainfrom May 23, 2025
rhinopotamus:main
Merged
typo fixes in proteus 2.3#347mattboelkins merged 1 commit intoactive-calculus:mainfrom rhinopotamus:main
mattboelkins merged 1 commit intoactive-calculus:mainfrom
rhinopotamus:main