Skip to content

Coq 8.18.0
Compare
Choose a tag to compare
@gares gares released this 08 Sep 10:32
· 3176 commits to master since this release
V8.18.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
f022d5d
This commit was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.

See the changelog for an overview of the new features and changes.

Assets 4
Loading