We are proud to announce the immediate availability of the Mathematical Components library versions 2.2.0 and 1.19.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.16 to 8.19
The main change is compatibility with Coq 8.19.
The contributors to this version are: Reynald Affeldt, Cyril Cohen, Pierre Pomeret-Coquot, Pierre Roux, Kazuhiko Sakaguchi, Julin Shaji, Laurent Théry
We also wish to thank all the reviewers of the various contributions.
See Release The Mathematical Components Library 2.2.0 · math-comp/math-comp · GitHub to download or see the CHANGELOG.md.
Packages for opam, nix, and docker are available.
Best regards,