Ssreflect Users Discussion List

[Cyril <>]

# MathComp 1.7.0 released

We are proud to announce the immediate availability of the Mathematical 
Components library version 1.7.0.

This release is compatible with Coq 8.6, 8.7 and 8.8.
The main changes are a refactoring of algC and ssrnum, which led to 
generalizations and renamings.
In the rest of the library a few theorems were added, generalized and/or 
renamed.

See https://github.com/math-comp/math-comp/releases/tag/mathcomp-1.7.0 
to download or see the ChangeLog.

Best regards,
--
The Mathematical Components team