Welcome everybody, we’re happy to see this community growing.
Please make use of this medium, we will try to supply as much support as possible to allow you progress fast towards the using formal verification to evaluate contracts 
Welcome everybody, we’re happy to see this community growing.
Please make use of this medium, we will try to supply as much support as possible to allow you progress fast towards the using formal verification to evaluate contracts