cockroach/docs/tla-plus at master · cockroachdb/cockroach

CockroachDB - the open source, cloud-native distributed SQL database. - cockroach/docs/tla-plus at master · cockroachdb/cockroach