Stream: math-comp users

Topic: MathComp 1.14.0 released

view this post on Zulip Cyril Cohen (Jan 19 2022 at 12:15):

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

This release is compatible with Coq 8.11, 8.12, 8.13, 8.14 and 8.15
This release only includes minor changes.
The contributors to this version are: Cyril Cohen, Erik Martin-Dorel, Kazuhiko Sakaguchi, Laurent Théry, Pierre Roux
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 in preparation.

Best regards,
The RM: Cyril and Enrico for the Mathematical Components team

Last updated: Jul 25 2024 at 15:02 UTC