TLA+ specification of MongoDB replication initial sync.
Primary LanguageTLA
No issues in this repository yet.