Tests ask "does it work here?" Proof asks "can it fail anywhere?" Most code checks work by running examples. Tests are useful. But they still only tell you what happened on the values you tried. A…