Stream: GraphTheory

Topic: dropping support for mathcomp-1.11


view this post on Zulip Christian Doczkal (Apr 11 2021 at 10:54):

@all Is anyone (still) using the graph theory library with mathcomp-1.11 rather than the current stable release mathcomp-1.12? There are quite a few lemmas in the library that have by now found their way into mathcomp, so dropping 1.11 would allow me to remove them.


Last updated: May 20 2022 at 09:03 UTC