M martin.kleppmann.com Martin Kleppmann Prediction: AI will make formal verification go mainstream 3 points thomasweiser 11 months ago 1 comments
