GitHub repository: CyberFlameGO/azure-cosmos-tla
Description: Azure Cosmos TLA+ specifications