But I do find proof based thinking helps with writing algorithms from scratch and programming. How to get from a to b, solving sub problems, logical leaps invo

But I do find proof based thinking helps with writing algorithms from scratch and programming. How to get from a to b, solving sub problems, logical leaps involved all helps with the reasoning used for creating algorithms from scratch. That is often what you end up interviewed for these days. The thought behind proof by induction and solving problems with recursion are pretty close.