Are there going to be releases/tags of
fourcolor and odd-order for 1.11? I'm hopefully going to revisit our MC machine learning corpus for 1.11, and this would be nice to have tags for
I don't know about odd-order, but I'm currently working on an extension to graph-theory that uses fourcolor, and indeed there is a release/tag for mathcomp-1.11.0: https://github.com/math-comp/fourcolor/releases/tag/v1.2.2
thanks for the reminder about fourcolor, adjusted topic to odd-order only.
Last updated: Jun 01 2023 at 11:01 UTC