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 dyauspitr on Monday April 13, 2026 @11:59PM (#47761068)
Well then formally verify the language system. I’m not sure what the confusion is. They didn’t say the whole system is formally verified.
[ Parent | on HN ]

There are no comments on this comment yet.