In my central european university we've learned "Real Analysis" that was way more concerned about theorems and proofs rather than "calculating" something - if a

In my central european university we've learned "Real Analysis" that was way more concerned about theorems and proofs rather than "calculating" something - if anything, actually calculating derivatives or integrals was a warmup problem to the meat of the subject.