That is not a proof by the CS standard though -- well, unless the job is defined as &quot;write a program that processes these N test inputs known in advance&quot;, in which case a program that prints the expected hardcoded output in response to each of the expected inputs and otherwise returns an error would be a good implementation :)<p>I personally avoid using a word &quot;proof&quot; to mean anything other than a mathematical proof. It can be done with code, for sure, but as grandparent said, usually isn&#x27;t.