News for hackers. Stuff that matters.

A comment on Lean proved this program correct; then I found a bug. Parent comment

Re:Lean proved this program correct; then I found a bug by raincole on Monday April 13, 2026 @09:42PM (#47760254)
> a given arbitrary program and input

Keyword emphasis mine.

[ Parent | on HN ]
Re:Lean proved this program correct; then I found a bug by grg0 on Monday April 13, 2026 @09:44PM (#47760264)
That one little word that changes everything in how you interpret the statement.
[ Parent | on HN ]