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!