o be a better programmer, write little proofs in your head
Train yourself to sketch small, continuous proofs about your code to design faster, more accurate software and measure its "proof-affinity."
Train yourself to sketch small, continuous proofs about your code to design faster, more accurate software and measure its "proof-affinity."