coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cyril Cohen <cyril.cohen AT inria.fr>
- To: ssreflect <ssreflect AT msr-inria.inria.fr>, "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] MathComp 1.8.0 released
- Date: Mon, 8 Apr 2019 18:12:14 +0200
We are proud to announce the immediate availability of the Mathematical Components library version 1.8.0.
This release is compatible with Coq 8.7, 8.8 and 8.9.
The contributors to this version are: Anton Trunov, Assia Mahboubi, Cyril Cohen, Enrico Tassi, Erik Martin-Dorel, Florent Hivert, Georges Gonthier, Kazuhiko Sakaguchi, Laurence Rideau, Laurent Théry, Pierre-Yves Strub, Søren Eller Thomsen, Yves Bertot.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.8.0 to download or see the `CHANGELOG.md`.
Best regards,
--
The Mathematical Components team
- [Coq-Club] MathComp 1.8.0 released, Cyril Cohen, 04/08/2019
Archive powered by MHonArc 2.6.18.