TLA+ specification of the Kafka replication protocol
Primary LanguageTLA
This repository is not active