An Agda mechanization of the Streamlet consensus protocol. - View it on GitHub
Star
4
Rank
2827316