Skip to content

The Mathematical Components Library 2.2.0

Latest
Latest
Compare
Choose a tag to compare
@proux01 proux01 released this 17 Jan 09:22
· 82 commits to master since this release
mathcomp-2.2.0
98ec478
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release is compatible with Coq 8.16 to 8.19.

See the CHANGELOG.md file for more details.

Assets 2