Stream: math-comp users

Topic: Release of MC 1.14

view this post on Zulip Enrico Tassi (Jan 12 2022 at 09:34):

We plan to release it next Wednesday. It will be a minor release in terms of additions, but there is one breaking change in prime.v which justifies the number bump. We expect most projects to just work on the new version, FYI @Michael Soegtrop

Last updated: Jul 13 2024 at 02:02 UTC