Since you’ll need to be flexible, it helps to have some extra options in case you have schedule conflicts.
My son was in a similar situation where he had two years after running out of high school math. In addition to multivariable and linear algebra, he took a Discrete Math class that his HS counted as math (even though it was in the CS department) and then a course called “Automata and Formal Languages” and a digital logic class (that also taught assembly). He really enjoyed those classes, and the formal languages class went pretty deep into proofs.
It looks like you could take MATH 353 along those lines.