@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: Feb 09 2023 at 03:06 UTC