2 ms·
>strongly reminiscent of test-driven-development Tests only cover the cases you think of. Proof systems let you validate claims about all possible executions.
by closeparen 7y ago
>strongly reminiscent of test-driven-development
Tests only cover the cases you think of. Proof systems let you validate claims about all possible executions.