Skip to content

Math-Classes compatibility release
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 01 Apr 10:35
· 73 commits to master since this release
8.11.0
d0621d9
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 new version of math-classes is known to be compatible with Coq 8.6-8.11.

Assets 2
Loading