Revisiting an early critique of formal verification

2 points| scscsc | 11 months ago |lawrencecpaulson.github.io