>>12216550That's pretty standard. You can take, Analysis 2, Alg 2 (Galois theory), Topology, Geometry, Complex Variables/Analysis. Plenty to keep you busy.
Also, what made the proof based classes easy was really understanding the basics. Having a solid grasp of how to prove functions are well defined and bijective. The division algorithm, Euclidean Algorithm and modular arithmetic.
For instance, Isomorphisms and homomorphisms in Abstract Algebra are simple if you really understand well-definedness, bijections, relations, modular arithmetic. It really makes Group theory in general easy.
Strong Foundations = Makes proof classes easy.