A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
Repository from Github https://github.comjohnsonstephan/awesome-web3-formal-verificationRepository from Github https://github.comjohnsonstephan/awesome-web3-formal-verification
