Tendermint Dev Session - Blockchain Reactor in TLA+

In this video Ethan Buchman, Technical Director of the Interchain Foundation, discusses Blockchain Reactor in TLA+ with several other colleagues.

ABOUT Cosmos is an open, distributed network of interoperable blockchains powered by the Tendermint consensus algorithm.

LINKS https://cosmos.network/ https://tendermint.com/ https://interchain.io/

Subscribe to the channel to learn more about Cosmos. Join the newsletter by visiting https://cosmos.network and hitting the subscribe button. Finally, read what it's all about at https://blog.cosmos.network/