News & Publications

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!

Informal Newsletter #1

Hello World! This is Informal’s inaugural newsletter. In this update, we share what we’re working on, including the specification of Cosmos protocols in TLA+ and implementing them in Rust. Check out what’s in store for the team, what we’re reading, and more!