Why Is A Math Proof Like A Unit Test?

Test-Driven Development