[catnaroek]

For basic infrastructure such as compilers and standard libraries (at least of data structures and algorithms), not providing proofs of correctness is outright criminal.

[blain_the_train]

It's not though is it... You know, because there aren't actual laws about it.

Let's try not to make inflammatory statements.