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 to download or see the

Packages for opam, nix, and docker are available.

Last updated: Jul 25 2024 at 14:01 UTC