4 ms·Hi, I am from Azure Cosmos DB Engineering Team. The TLA+ specs are fairly up to date. Thanks.by rnehme 7y agoHi, I am from Azure Cosmos DB Engineering Team. The TLA+ specs are fairly up to date. Thanks.