Stream: math-comp devs

Topic: Release of odd-order for 1.11?


view this post on Zulip Karl Palmskog (Aug 18 2020 at 13:41):

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

view this post on Zulip Christian Doczkal (Aug 18 2020 at 19:09):

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

view this post on Zulip Karl Palmskog (Aug 18 2020 at 19:21):

thanks for the reminder about fourcolor, adjusted topic to odd-order only.


Last updated: Aug 11 2022 at 01:03 UTC