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 lmm on Tuesday April 14, 2026 @01:51AM (#47761746)
The problem was in Lean though, so it seems fair.
[ Parent | on HN ]

There are no comments on this comment yet.