GitHub repository: will62794/mongo-repl-reconfig
Primary language: TLA
Created: 2019-11-10T00:41:39Z
Description: TLA+ spec of reconfiguration in MongoDB replication.