@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