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.
to download or see the
Packages for opam, nix, and docker are in preparation.
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
Last updated: Sep 30 2023 at 05:01 UTC