Unit tests demonstrate correctness. That's another useful tool in the tool box. But proofs are more than just that. Imagine trying to unit test all possible ca

Unit tests demonstrate correctness. That's another useful tool in the tool box. But proofs are more than just that. Imagine trying to unit test all possible cases of Pythagorean theorem being correct vs a single proof in a few lines of descriptive logic.