AI will make formal verification go mainstream

823 points

by evankhoury

4 days ago

429 comments