TLA+ Spec of a simplified part of MongoDB replication systemgithub.com3 points·pron··0 commentsOpen articleSaveView on HN