Hopefully, a Shift Towards Correct Software

Posted on January 20, 2026 by Brendon Tags: opinion , response , formal verification , lean Formal Verification and Artificial Intelligence In a recent blog post Martin Kleppmann makes a prediction that formal verification will go mainstream. When I first read this I paused, bent into the fetal position, and openly wept into the palms of my hands as I felt the familiar feeling of hope again. Could…