3 ms·Of course, but that doesn't mean formal verification isn't a huge step forward.by amelius 2mo agoOf course, but that doesn't mean formal verification isn't a huge step forward.