We are proud to announce the immediate availability of the Mathematical Components library version 2.1.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.
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 2.1.0 · math-comp/math-comp · GitHub to download or see the
Packages for opam, nix, and docker are already available.
The Mathematical Components team