Formal Verification

Usage

In this repository, I will be solving contracts using formal verification with the following tools:

$ git submodule update --init --recursive

https://open.substack.com/pub/allthingsfuzzy/p/formal-verification-in-practice-halmos?r=1860oo&utm_campaign=post&utm_medium=web