4 ms·

This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.

• junon 5y ago
  That's not what the parent comment asserted though.