TLA+ specification of the Kafka replication protocol
Primary LanguageTLA
No issues in this repository yet.