3 ms·

They really should be able to.

• astrobe_ 10y ago
  You're completely missing the point: people are not computers. They make mistakes, including while they check things. That's why you don't want to rely on tests, but rather on formal proof.