Stream: Coq users

Topic: MathComp 1.11.0 released

view this post on Zulip Cyril Cohen (Jun 09 2020 at 14:54):

(cross-posted to math-comp users, please followup to math-comp users)

We are proud to announce the immediate availability of the
Mathematical Components library version 1.11.0.

This release is compatible with Coq 8.7, 8.8, 8.9, 8.10, 8.11.

The main improvement introduced by this release is the introduction of
order structures. The change should mostly be visible by users of ssrnum.
Version 1.11.0 fixes a problem of 1.11+beta1 so that we allow again
min and max to work a partial order instead of a total order.

The contributors to this version are: Antonio Nikishaev, Anton Trunov,
Assia Mahboubi, Christian Doczkal, Cyril Cohen, Enrico Tassi, Erik
Martin-Dorel, Florent Hivert, Kazuhiko Sakaguchi, Pierre-Marie Pédrot,
Pierre-Yves Strub, Reynald Affeldt, Simon Boulier, Yves Bertot.

We also wish to thank all the reviewers of the various contributions.

to download or see the

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

Best regards,
The Mathematical Components team

Last updated: Oct 05 2023 at 02:01 UTC