Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MathComp 1.15.0 released

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MathComp 1.15.0 released


Chronological Thread 
  • From: Enrico Tassi <Enrico.Tassi AT inria.fr>
  • To: coq-club <coq-club AT inria.fr>, ssreflect <ssreflect AT msr-inria.inria.fr>, coq+announcements AT discoursemail.com
  • Subject: [Coq-Club] MathComp 1.15.0 released
  • Date: Thu, 30 Jun 2022 11:37:07 +0200
  • Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Enrico.Tassi AT 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 1.15.0
The webpage, and documentation, are available at
https://math-comp.github.io/.

This release is compatible with Coq 8.13, 8.14, 8.15 and 8.16.
The contributors to this version are: Cyril Cohen, ed-hermoreyes,
Enrico Tassi, Erik Martin-Dorel, Evgenii Moiseenko,
Georges Gonthier, Jonathan Sterling, Kazuhiko Sakaguchi, Laurent Théry,
Mireia G. Bedmar, Pierre Jouvelot, Pierre Roux, Reynald Affeldt,
Wojciech Karpiel
We also wish to thank all the reviewers of the various contributions.

See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.15.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 1.15.0 released, Enrico Tassi, 06/30/2022

Archive powered by MHonArc 2.6.19+.

Top of Page