Formally verifying a popular Ethereum smart contract library #1 Post by stong1 » Sun, Apr 03, 2022, 4:16 AM UTC Formally verifying a popular Ethereum smart contract librarytwitter.com