Lots of Algorithm books I've come across do not have a lot of exercises and focus heavily on proofs. It's great to see that this book does have a lot of exercises.
I've to constantly keep googling what the symbols mean and takes a lot of time, turns discouraging to keep going through the material. So there's a deeper study going on in there just to understand, say- what an asymptotic notation means in the algorithmic world.
I definitely would love to dive deep into math since it is the foundation of algorithms, but it's good to have source material with beginner exercises. Maybe I'm looking at the wrong places...
I agree with your point, taking the proof as exercises will make things challenging for you.