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: Apr 19 2024 at 21:01 UTC