Formally verifying a popular Ethereum smart contract librarytwitter.com2 points·stong1··0 commentsOpen articleSaveView on HN