Coq での Cypher (グラフクエリ言語) の形式化。
このプロジェクトは、Coq 証明アシスタントでグラフクエリ言語である Cypher を形式化することを目的としています。形式化は、言語の将来の進化のために厳密な基盤を作成し、クエリの最適化を検証するためのフレームワークを提供することを目的としています。
