We are proud to announce the immediate availability of the Mathematical Components library version 1.14.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.11, 8.12, 8.13, 8.14 and 8.15
This release only includes minor changes.
The contributors to this version are: Cyril Cohen, Erik Martin-Dorel, Kazuhiko Sakaguchi, Laurent Théry, Pierre Roux
We also wish to thank all the reviewers of the various contributions.
See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.14.0 to download or see the CHANGELOG.md.
Packages for opam, nix, and docker are in preparation.
The RM: Cyril and Enrico for the Mathematical Components team
Last updated: Feb 08 2023 at 04:04 UTC