Hacker News new | ask | show | jobs
Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
2 points by scscsc 453 days ago