3 ms·> I mean why does it have to be formally verified. Because we can and the security advantages are worth it.by kennysoona 2y ago> I mean why does it have to be formally verified. Because we can and the security advantages are worth it.