Graph Theory v0.7 - Initial Release

This is the initial release of the GraphTheory library. The library features simple graphs, unlabeled directed graphs, and labeled multigraphs. The formalized results include various standard results from the literature (e.g., Menger’s Theorem, Hall’s Marriage Theorem, and the excluded minor characterization of treewidth-two graphs) as well as some more recent results arising from the study of relation algebra within the ERC CoVeCe project (e.g., soundness and completeness of an axiomatization of graph isomorphism).

This release is compatible with mathcomp-1.10 and mathcomp-1.11.

Please note that the library is still in development. Hence, definitions and lemma names may still be subject to change.