Stream: math-comp users

Topic: Release of MC 1.14

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: Feb 08 2023 at 04:04 UTC