MathComp 1.14.0 released

We are proud to announce the immediate availability of the Mathematical Components library version 1.14.0.
The webpage, and documentation, are available at

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 ``.

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

Best regards,