Formally verifying a popular Ethereum smart contract library | Dark Hacker News