Hacker News new | ask | show | jobs
A shallow dive into formal verification (vitalik.eth.limo)
3 points by fbrusch 32 days ago