points by btilly 3 days ago | 0 comments
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.
Aún no hay comentarios.