Prediction: AI will make formal verification go mainstreammartin.kleppmann.com10 pointsraphlinus6 months ago