raft-tlaplus TLA+ specifications for standard Raft and variants. These specifications are optimized for model checking rather than for TLAPS. Note run all these specifications with the -deadlock argument.