Yes, what I meant was, math proofs are well defined, and programs are often a heap of stuff thrown together. While it's harder to produce the math proof, it's

Yes, what I meant was, math proofs are well defined, and programs are often a heap of stuff thrown together. While it's harder to produce the math proof, it's probably harder to grasp what's going on in a program in a mathematical sense.