News for hackers. Stuff that matters.

A comment on AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura. Parent comment

Re:AI, Lean, and the Future of Formal Verification, with Lea... by lbruck on Saturday October 31, 2026 @08:18PM (#50321566)
He is also the chief architect and cofounder of the Lean FRO, the associated non-profit: https://lean-lang.org/fro/team/
[ Parent | on HN ]

There are no comments on this comment yet.