/elasticsearch-formal-models

Formal models of core Elasticsearch algorithms

Primary LanguageIsabelleApache License 2.0Apache-2.0

Stargazers