DaveCTurner / elasticsearch-formal-models

TLA+ Model of the Elasticsearch data replication approach

Geek Repo

Github PK Tool