GitHub - elastic/elasticsearch-formal-models: Formal models of core Elasticsearch algorithms

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