GraphCoQL: A mechanized formalization of GraphQL in Coq