Super HN
New
Show
Prediction: AI will make formal verification go mainstream
(martin.kleppmann.com)
15 points by evankhoury 25 minutes ago