Stream: GraphTheory

Topic: Graph Theory v0.9


view this post on Zulip Christian Doczkal (May 27 2021 at 16:47):

@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