Just a reminder: Proofs are usually stuff for a master course.
I think these short outburst of calculations are helpful and fun. I for example host a private website for sub/add/mult/div tasks and consider them as same sort of casual gaming, solving these "math problems" in the shortest time possible.
Author's great repo inspired me to add more stuff. I like it.