Gitstar Ranking

input-output-hk / formal-streamlet

An Agda mechanization of the Streamlet consensus protocol. - View it on GitHub
https://input-output-hk.github.io/formal-streamlet/
Star
4
Rank
2827316