Description

This artifact contains mechanized Coq proofs of the theorems in the associated paper.

Provenance

The source repository can be found at https://github.com/julesjacobs/cgraphs

License