GitHub repository: visualzhou/mongo-locking-tla
Primary language: TLA
Description: TLA+ spec of locking behaviors of MongoDB