A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more. - View it on GitHub