I found that to be quite the opposite. Having finished my CS degree and taken various analysis of algorithm classes I found proofs to involve lots more hand holding and shortcuts.

I'm working on finishing my Mathematics degree and proofs are much more vigorous.