Skip to content

Release v2.4

Latest
Latest
Compare
Choose a tag to compare
@vbgl vbgl released this 31 May 14:02
· 12 commits to main since this release
v2.4
This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Learn about vigilant mode.
bd9a02d
This commit was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Learn about vigilant mode.

This version is compatible with Coq versions 8.12 to 8.19 and math-comp versions 1.12 to 1.19.

Assets 3
Loading