> The difference between math and writing programs is that in math, there's no compiler.

Increasingly, there are tools so that there could be, if you want to do math that way.

http://us.metamath.org/index.html