https://ethereumdev.io/safemath-protect-overflows/
It looks useful although for the people that do want to understand how the contract works it adds complexity to the codebase itself.
I definitely would use it for more complex smart contracts, but this one is meant to be easy and educational (like the whole app).
https://ethereumdev.io/safemath-protect-overflows/