Skip to content

Math-Classes compatibility release
Compare
Choose a tag to compare
@palmskog palmskog released this 02 Sep 09:07
· 65 commits to master since this release
8.12.0
bb0bbac
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, released under the MIT license, is known to be compatible with Coq 8.6 to 8.12.

Assets 2
Loading