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

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.

to download or see the

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: Jun 25 2024 at 17:02 UTC