Skip to content

Coq 8.17+rc1

Pre-release
Pre-release
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 16 Jan 15:41
· 129 commits to v8.17 since this release
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