The quote was, "Beware of bugs in the above code; I have only proved it correct, not tried it."

The quote captured the fact that a human reviewed proof could have mistakes in it. This is very different from a Lean verified proof.