coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cyril Cohen <cyril.cohen AT inria.fr>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>, "Enrico Tassi: coq+announcements" <coq+announcements AT discoursemail.com>, ssreflect <ssreflect AT msr-inria.inria.fr>
- Subject: [Coq-Club] MathComp 1.14.0 released
- Date: Wed, 19 Jan 2022 13:17:49 +0100
We are proud to announce the immediate availability of the Mathematical Components library version 1.14.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, 8.14 and 8.15.
This release only includes minor changes.
The contributors to this version are: Cyril Cohen, Erik Martin-Dorel, Kazuhiko Sakaguchi, Laurent Théry, Pierre Roux.
We also wish to thank all the reviewers of the various contributions.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.14.0 to download or see the `CHANGELOG.md`.
Packages for opam, nix, and docker are in preparation.
Best regards,
--
The RM: Cyril and Enrico for the Mathematical Components team
- [Coq-Club] MathComp 1.14.0 released, Cyril Cohen, 01/19/2022
Archive powered by MHonArc 2.6.19+.