Formally verifying a popular Ethereum smart contract library

2 points| stong1 | 3 years ago |twitter.com