Skip to content

Coq 8.16.0

Choose a tag to compare

View all tags
@ppedrot ppedrot released this 05 Sep 11:57
· 9182 commits to master since this release
V8.16.0
This tag was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode.
146ae2f

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

Assets 4
Loading