elastic/elasticsearch-formal-models

Formal models of core Elasticsearch algorithms. Contribute to elastic/elasticsearch-formal-models development by creating an account on GitHub.