Skip to main content
 

Using TLA+ to specify Cosmos DB consistency guarantees precisely.
https://github.com/Azure/azure-cosmos-tla/blob/master/README.md