We are proud to announce the immediate availability of the
Mathematical Components library version 1.18.0.
The webpage, and documentation, are available at https://math-comp.github.io/.
This release is compatible with Coq 8.16, 8.17 and 8.18
and includes changes from 2.1.0 that could be backported.
The contributors to this version are: Reynald Affeldt, Sophie
Bernard, Alessandro Bruni, Fernando Chu, Cyril Cohen, Josh Cohen,
Hugo Deleye, Jason Gross, Pierre Jouvelot, Erik Martin-Dorel,
Pierre Roux, Kazuhiko Sakaguchi, Julin Shaji, Enrico Tassi,
Laurent Théry, Quentin Vermande
We also wish to thank all the reviewers of the various contributions.
See Release The Mathematical Components Library 1.18.0 · math-comp/math-comp · GitHub
to download or see the
Packages for opam are already available whereas nix, and docker
are in preparation.
The Mathematical Components team