When will libc and libc++ be formally proven?

Never, that's when. You couldn't prove a Hello World in such vague, shitty languages. Why do we tolerate C (and what people call C even though it's not C++, just because it doesn't use classes) to program critical systems again?

>>25
My fucking god, would it kill you to add a trigger warning? I was scrolling down quickly and I thought that was a fucking UML state diagram or whatever the fuck it's called for a second there and had a bad flashback. Just shoot me in the fucking head why don't you.