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: Feb 09 2023 at 02:02 UTC