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 Release The Mathematical Components Library 1.14.0 · math-comp/math-comp · GitHub to download or see the `CHANGELOG.md`.
Packages for opam, nix, and docker are in preparation.