If you major in CS, you will have to do proofs in discrete math and CS theory courses. And you will have to think of all possible cases in program logic to make your computer programs work properly.
If you major in math, most upper level math courses (e.g. abstract algebra, real analysis) will be proof based.