3 ms·

I graduated UMD in 2007, and I remember some of the upper level theory courses (which I tended to concentrate on) being quite proof-heavy.