In finance, the stochastic calculus is applied to pricing options by no arbitrage.
In biology, it is applied to populations' models, and in engineering it is applied to filter signal from noise.
Not everything is proved, but enough proofs are given to make it a mathematically rigorous exposition.
Stochastic calculus is the area of mathematics that deals with processes containing a stochastic component and thus allows the modeling of random systems.
Many stochastic processes are based on functions which are continuous, but nowhere differentiable.
Stochastic calculus is genuinely hard from a mathematical perspective, but it's routinely applied in finance by people with no serious understanding of the subject.
Two ways to look at it: PURE: If you look at stochastic calculus from a pure math perspective, then yes, it is quite difficult.