Prediction: AI will make formal verification go mainstreammartin.kleppmann.com3 pointsgritzko6 months ago