Add Extended System-Level TLA+ Specification for Raft Core Module#381

Qian-Cheng-nju wants to merge 2 commits into

etcd-io:mainetcd-io/raft:mainfrom

specula-org:pr1-specspecula-org/raft:pr1-specCopy head branch name to clipboard