4 ms·

Hmm. I've never been asked to do formal proofs for my code. Where does he work?

• simonw 11mo ago
  This isn't about formal proofs, it's about manual testing and simple automated tests.