University of Maryland. We didn't do proofs for year 1, we mainly did them for our discrete math and algorithms classes. Our curriculum was very focused on learning theory and coding that up (ie, a regex engine or an interpreter and compiler), not really any proving.
At UWaterloo 2 required first year courses are heavily proof based. One is basically intro to proofs. And second year there’s required graph theory/combinatorics course which are also proofs. 2nd year formal logic. 3rd year algorithms courses are highly proof based as well.
This isn’t a flex tho, cuz there’s so much optional advanced math that isn’t required. Everything in the combinatorics and optimization department at UWaterloo basically. Most of us UW CS grads are normies who didn’t do any of the hardest stuff including me :-)
