Skip to content

The Mathematical Components library 1.7.0
Compare
Choose a tag to compare
@gares gares released this 24 Apr 13:27
· 1746 commits to master since this release
mathcomp-1.7.0
591c3e4
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release is compatible with Coq 8.6, 8.7 and 8.8.
Windows installers available for Coq 8.8.0.

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 the ChangeLog file for more details.

Assets 4