GitHub repository: ocadaruma/Arrival
Description: How to use TLA+ / TLA+ specification of the ClickHouse replication protocol