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?

Well what should we use instead? Hookers? Onaholes? I want to use something that's actually female so other people wont think I'm gay, and fuck femboys.