At my smaller state school there weren't really any proofs in the cs degree at all. They ended up having to relax the math requirements even because so many international students (big money for the school) were failing their integral calculus.