Tendermint Developer Session: Proposer Selection in Idris

Formal verification of Tendermint's proposer selection algorithm in Idris.

https://github.com/cwgoes/tm-proposer...

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/