5 ms·Is C++ code formally verified, e.g. with something like Coq?by erikbye 6y agoIs C++ code formally verified, e.g. with something like Coq?