@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