Skip to content

Release v3.1
Compare
Choose a tag to compare
@vbgl vbgl released this 21 Mar 10:27
· 3 commits to main since this release
v3.1
This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode.
a7f2d08
This commit was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode.

This version is compatible with Coq versions 8.16 to 8.19 and math-comp versions 2.0 to 2.2.

Assets 3
Loading