Gitstar Ranking

input-output-hk / formal-jolteon

Agda formalization of the Jolteon consensus protocol. - View it on GitHub
https://input-output-hk.github.io/formal-jolteon/
Star
3
Rank
3475116