News for hackers. Stuff that matters.

A comment on Proving Rust Web Application Correctness with Lean 4.

Re:Proving Rust Web Application Correctness with Lean 4 by palata on Wednesday November 04, 2026 @03:32PM (#50371111)
Is an AI writing the Lean code then?
[ Parent | on HN ]

There are no comments on this comment yet.