GitHub repository: ongardie/raft.tla
Primary language: TLA
Description: TLA+ specification for the Raft consensus algorithm