GitHub repository: visualzhou/mongo-repl-tla
Primary language: TLA
Created: 2016-05-13T07:10:51Z
Description: TLA+ Spec of a simplified part of MongoDB replication system