I am curious why a curriculum in the US includes four courses on calculus. Why isn't this just part of maybe three analysis courses for undergraduate studies?
Those are practical courses, meant to prep for linear algebra and differential equations — and various STEM tracks. As I recall, there were some proofs (eg, limits showing derivative rules; limits showing sums for integral rules).
We covered all the proofs in real analysis 1 (derivatives; sequences) and 2 (integrals; measure).