guozhangwang / kafka-specification

TLA+ specification of the Kafka replication protocol

Geek Repo

Github PK Tool