I don't do formal proofs, or use maths for proof. Most time the math is overkill. Yes I can show that indexing field [x,y] improves speed, but bench marks work here better than math.

I just think of the thing I want to build, and I break it into smaller and smaller bits.

I don't write code on paper.. just the "what do I want to happen".. super high level.