Hacker News new | ask | show | jobs
The looming problem of slow and brittle proofs in SMT verification (kirancodes.me)
4 points by gopiandcode 374 days ago