Stream: Coq users

Topic: MathComp 1.12.0 released


view this post on Zulip 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:

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

view this post on Zulip Gaëtan Gilbert (Nov 26 2020 at 11:00):

no 8.13?


Last updated: Feb 04 2023 at 21:02 UTC