Martin Kleppmann Prediction: AI will make formal verification go mainstream

• Posted 2 days ago by thomasweiser
• 3 points