Stream: math-comp users

Topic: MathComp 1.13.0 released


view this post on Zulip Christian Doczkal (Oct 28 2021 at 14:17):

We are proud to announce the immediate availability of the Mathematical
Components library version 1.13.0.

The webpage, and documentation, are available at
https://math-comp.github.io/.

This release is compatible with Coq 8.11, 8.12, 8.13 and 8.14.
The main changes are new theories on the diagonalization of matrices,
on bounded sequences, and on the pairwise predicate.

The contributors to this version are: Amel Kebbouche, Anders Mörtberg,
Anton Trunov, Christian Doczkal, Cyril Cohen, Emilio Jesus Gallego
Arias, Enrico Tassi, Erik Martin-Dorel, Evgenii Moiseenko, Florent
Hivert, Gaëtan Gilbert, Kazuhiko Sakaguchi, Laurent Théry, Maxime
Dénès, Pierre Jouvelot, Pierre Roux, Reynald Affeldt, and Yves Bertot.

We also wish to thank all the reviewers of the various contributions.

See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.13.0
to download or see the CHANGELOG.md.

Packages for opam, nix, and docker are in preparation.

Best regards,
--
The Mathematical Components team

view this post on Zulip Karl Palmskog (Oct 30 2021 at 16:52):

can we get a @CoqLang tweet of the Discourse announcement link maybe?

https://coq.discourse.group/t/mathcomp-1-13-0-released/1474

view this post on Zulip Karl Palmskog (Oct 30 2021 at 19:13):

awesome, now I hope people will retweet: https://twitter.com/CoqLang/status/1454508251815497730

MathComp 1.13.0 has been released :tada: Thanks to the many contributors, the maintainers, and Christian Doczkal, the release manager! https://coq.discourse.group/t/mathcomp-1-13-0-released/1474

- The Coq proof assistant (@CoqLang)

view this post on Zulip Christian Doczkal (Nov 01 2021 at 08:51):

Just for the record: the release managers were @Cyril Cohen and myself. It just fell to me to make the announcements.

view this post on Zulip Karl Palmskog (Nov 01 2021 at 08:57):

I think it's reasonable to flag up the release managers in any release as part of the announcement, e.g.,

Best regards, release managers James R. Hacker and Jim X. Hacker, on behalf of the Foobar team

view this post on Zulip Christian Doczkal (Nov 01 2021 at 09:15):

That may be the case, but in the absence of any explicit information, assuming that the person doing the announcement is the (sole) release manager is also not exactly a sound process. ^^

view this post on Zulip Karl Palmskog (Nov 01 2021 at 09:16):

sure, the suggestion was forward-looking


Last updated: Feb 08 2023 at 04:04 UTC