GitHub repository: HappyCS-Gu/Parallel-Raft-tla
Primary language: TLA
Created: 2020-04-06T08:24:44Z
Description: Specifying and Verfying concensus algorithms in PolarDB using TLA+