Professors at my university do prove things in the classes I mentioned above, but I was attempting to make a distinction between courses where the emphasis is the proof(Abstract/Contemporary algebra) and courses where the emphasis is the process (Matrix methods). Sorry for any confusion.