@all Version 0.9 of the graph theory library has been released and can now be installed via OPAM. The main changes are formal proof of Wagner's theorem based on hypermaps (requires coq-fourcolor) and two proofs of the weak perfect graph theorem.

Last updated: May 20 2022 at 10:03 UTC