Comment on Prediction: AI will make formal verification go mainstreamComments−exidex9moWhat a grim future, just chat with a bot without ever seeing the code
Comments
What a grim future, just chat with a bot without ever seeing the code