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 https://math-comp.github.io/.

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

Packages for opam, nix, and docker are in preparation.

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


Last updated: Mar 29 2024 at 07:01 UTC