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

can we get a `@CoqLang`

tweet of the Discourse announcement link maybe?

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

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)Just for the record: the release managers were @Cyril Cohen and myself. It just fell to me to make the announcements.

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

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. ^^

sure, the suggestion was forward-looking

Last updated: Feb 08 2023 at 04:04 UTC