Coq에서 그래프 쿼리 언어인 Cypher의 형식화.
이 프로젝트는 Coq 증명 도우미에서 그래프 쿼리 언어인 Cypher를 형식화하는 데 목표를 두고 있습니다.이 형식화의 목적은 추가적인 언어 개발을 위한 견고한 기반을 마련하고 쿼리 최적화를 검증하기 위한 프레임워크를 제공하는 것입니다.
