We are proud to announce the immediate availability of the Mathematical Components library version 1.16.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.13, 8.14, 8.15, 8.16, and 8.17.
The contributors to this version are:
Cyril Cohen, Enrico Tassi, Erik Martin-Dorel, Georges Gonthier, Yoshihiro Ishiguro, Julien Puydt, Kazuhiko Sakaguchi, Laurent Théry, Mireia G. Bedmar, Pierre-Marie Pédrot, Pierre Roux, Pierre Pomeret-Coquot, Quentin Vermande, Reynald Affeldt, Takafumi Saikawa, Yoshihiro Imai
We also wish to thank all the reviewers of the various contributions.
See Release The Mathematical Components Library 1.16.0 · math-comp/math-comp · GitHub to download or see the CHANGELOG.md.
Packages for opam are already available.
Packages for nix, and docker are in preparation.
Best regards,
The Mathematical Components team