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 amoss on Tuesday April 14, 2026 @02:24AM (#47761950)
But is fair to state that the verification was *incomplete*, which is what the article does.
[ Parent | on HN ]

There are no comments on this comment yet.