Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq

POPL 2020