GitHub repository: tikv/tlaplus-specs
Primary language: TLA
Created: 2020-06-17T12:17:28Z
Description: TiKV TLA+ specifications