coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr, coq+announcements AT discoursemail.com
- Subject: [Coq-Club] MathComp 2.3.0 released
- Date: Thu, 28 Nov 2024 16:44:40 +0100
- Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=None smtp.mailfrom=thery AT sophia.inria.fr; dmarc=fail (p=none dis=none) d=inria.fr
We are proud to announce the immediate availability of the Mathematical Components library version 2.3.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.18, 8.19 and 8.20
The contributors to this version are:
Ana de Almeida Borges, Cyril Cohen, Erik Martin-Dorel, Florent Hivert, Guspan Tanadi, Hugo Herbelin, Jason Yuen, Kazuhiko Sakaguchi, Laurent Théry, Pierre Jouvelot, Pierre Roux, Quentin Vermande, Reynald Affeldt, 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-2.3.0 to download or see the `CHANGELOG.md`.
Packages for opam, nix, and docker are in preparation.
Best regards,
--
The Mathematical Components team
- [Coq-Club] MathComp 2.3.0 released, Laurent Thery, 11/28/2024
Archive powered by MHonArc 2.6.19+.