leaderelection-tlaplus. An example TLA+ specification for a simple "raft style" leader election protocol

github.com/heidihoward/leaderelection-tlaplus

Problem

Audience

Updates

No founder updates yet. Check back soon.