Informal Newsletter #2

This marks Informal System’s second newsletter where we share updates with the community on what we’ve been up to over the past few months. We discuss what we are working on, including the tools we are developing for formal verification, and their use on Cosmos protocols and software. Enjoy!