Stream: Coq users

Topic: MathComp 1.12.0 released

Cyril Cohen (Nov 26 2020 at 10:59):

MathComp 1.12.0 released

We are proud to announce the immediate availability of the Mathematical Components library version 1.12.0.
The webpage, and documentation, are available at https://math-comp.github.io/.

This release is compatible with Coq 8.10, Coq 8.11, and Coq 8.12.

The main changes are:

• support for Coq 8.7, 8.8, and 8.9 have been dropped,
• a change of implementation of intervals and the updated theory,
• the addition of kernel lemmas for matrices,
• generalized many lemmas for path and sorted,
• several lemma additions, name changes and bug fixes.

The contributors to this version are: Anton Trunov, Christian Doczkal, Cyril Cohen, Enrico Tassi, Erik Martin-Dorel, Jasper Hugunin, Kazuhiko Sakaguchi, Laurent Théry, Reynald Affeldt, and 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-1.12.0
to download or see the CHANGELOG.md.

Packages for opam, nix, and docker are in preparation.

Best regards,
--
The Mathematical Components team

This message was cross posted to the streams #math-comp users and #Coq users , please follow up on #math-comp users, not here, by following this link

Gaëtan Gilbert (Nov 26 2020 at 11:00):

no 8.13?

Last updated: Sep 30 2023 at 05:01 UTC