[dkjaudyeqooe]

Thinking about your code is constructing an informal proof in your mind. Making this more rigorous and thus more formal involves the same trade off of accuracy/ease/speed versus correctness/tedium/slowness that any other formalism entials.

I'd say studying mathematical proof is helpful for developing your proof making skills, but then it is best largely forgotten after you've internalised those skills.