Star elastic / elasticsearch-formal-models Formal models of core Elasticsearch algorithms Isabelle 169 21 Built by 0 stars today