Martin Kleppmann Prediction: AI will make formal verification go mainstreammartin.kleppmann.com3 pointsthomasweiser6 months ago