Skip to content

The Mathematical Components Library 1.18.0
Compare
Choose a tag to compare
@affeldt-aist affeldt-aist released this 01 Nov 08:52
· 32 commits to mathcomp-1 since this release
mathcomp-1.18.0
3c0e872
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 versions 8.16, 8.17, and 8.18.

See the CHANGELOG.md file for more details.

Assets 2