Hacker News new | ask | show | jobs
Formally verifying a popular Ethereum smart contract library (twitter.com)
2 points by stong1 1535 days ago