4 ms·

Obligatory refrence: > Beware of bugs in the above code; I have only proved it correct, not tried it. [Donald Knuth]

• solomatov 12y ago
  Fortunately, this technology allows us to prove code correct and be sure about it.