3 ms·

Proving correctness is always an incremental win when executed correctly. Everything that can be proved correct is one more bug that your editor will underline

by woah 8y ago

Proving correctness is always an incremental win when executed correctly. Everything that can be proved correct is one more bug that your editor will underline in red, and often one less test to be written.