GitHub repository: tier4/leader_election
Primary language: TLA
Description: Leader Election Algorithm