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