Skip to content

Hierarchy Builder 1.6.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 20 Sep 14:18
· 227 commits to master since this release
v1.6.0
3b478ca
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Compatible with Coq 8.16, 8.17 and 8.18.

This release is mainly improving performances in Math Comp 2.0 and Math Comp Analysis.

Assets 3
Loading