Prediction: AI will make formal verification go mainstreammartin.kleppmann.com3 points·gritzko··0 commentsOpen articleSaveView on HN