MathComp 1.16.0 released

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

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

Packages for opam are already available.

Packages for nix, and docker are in preparation.

Best regards,

The Mathematical Components team

1 Like