Stream: GraphTheory

Topic: Graph theory v0.9.1

view this post on Zulip Karl Palmskog (May 25 2022 at 12:19):

Graph Theory 0.9.1 is now out on opam:

opam repo add coq-released https://coq.inria.fr/opam/released
opam update
opam show coq-graph-theory.0.9.1

It works on Coq 8.14 or later and MathComp 1.13 or 1.14.

Last updated: Feb 06 2023 at 05:03 UTC