Stream: math-comp users

Topic: MathComp 2.2.0 and 1.19.0 released


view this post on Zulip Laurent Théry (Jan 18 2024 at 10:20):

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 https://github.com/math-comp/math-comp/releases/tag/mathcomp-2.2.0 to download or see the CHANGELOG.md.

Packages for opam, nix, and docker are available.


Last updated: Jul 25 2024 at 14:01 UTC