Skip to content

finmap release 1.5.0
Compare
Choose a tag to compare
@CohenCyril CohenCyril released this 20 Apr 17:07
· 68 commits to master since this release
1.5.0
7a86700
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.

Compatible with 8.7 <= Coq < 8.12 and mathcomp 1.11.0+beta1
The file order.v has been removed since it has been incorporated in mathcomp since 1.11.0

Assets 2
Loading