afonsonf/ceph-consensus-spec

TLA+ specification of the Ceph consensus algorithm

3 best points · 0 comments · 1 Hacker News post · 24 GitHub stars · View on GitHub

Hacker News discussions