M martin.kleppmann.com AI will make formal verification go mainstream 6 points mau 10 months ago 4 comments
