elasticsearch-formal-models
elastic/elasticsearch-formal-models
Formal models of core Elasticsearch algorithms
215stars
Forks
25
Open issues
2
Watchers
215
Size
0.2 MB
IsabelleApache License 2.0
Created: Sep 20, 2016
Updated: Feb 20, 2026
Last push: Feb 5, 2025