Cypher 的形式化，一种图形查询语言，在 Coq 中。
该项目旨在将Cypher，一种图查询语言，在Coq证明助手中正式化。 形式化的目的是为语言的进一步发展打下坚实的基础，同时也为验证查询的优化提供一个框架。
