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?

>>8
at least im not a formal methods aka snake oil pusher

http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/