Skip to content

Coq 8.17+rc1

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Zimmi48 Zimmi48 released this 16 Jan 15:41
V8.17+rc1
This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode.
ed34dc2
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode.

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

Assets 3
Loading