Gitstar Ranking

runtimeverification / giskard-verification

Verified model of the Giskard consensus protocol in Coq - View it on GitHub
https://runtimeverification.github.io/giskard-verification/
Star
2
Rank
3413805