/leaderelection-tlaplus

An example TLA+ specification for a simple "raft style" leader election protocol

Primary LanguageTLA

No issues in this repository yet.