TLA+ Spec of a simplified part of MongoDB replication system
Primary LanguageTLA
No issues in this repository yet.