Формализация языка запроса графов Cypher в Coq.
Задача проекта — формализовать язык запросов по графам Cypher в Coq Proof Assistant. Цель формализации — создать твердое основание для дальнейшего развития языка, а также предложить фреймворк для проверки оптимизаций запросов.