coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yves Bertot <yves.bertot AT inria.fr>
- To: coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr
- Subject: [Coq-Club] MathComp 1.10.0 released
- Date: Fri, 29 Nov 2019 17:08:39 +0100
We are proud to announce the immediate availability of the Mathematical Components library version 1.10.0.
This release is compatible with Coq 8.9 and 8.10
The contributors to this version are: Antonio Nikishaev, Anton Trunov, Arthur Azevedo de Amorim, Christian Doczkal,
Cyril Cohen, Enrico Tassi, Erik Martin-Dorel, Florent Hivert, Gabriel Taumaturgo, Georges Gonthier,
Kazuhiko Sakaguchi, Laurent Théry, Maxime Dénès, Reynald Affeldt, and Yves Bertot.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.10.0 to download or see the file `CHANGELOG.md`
at https://github.com/math-comp/math-comp.
Best regards,
--
The Mathematical Components team
- [Coq-Club] MathComp 1.10.0 released, Yves Bertot, 11/29/2019
Archive powered by MHonArc 2.6.18.