Skip to content

Coq 8.12.2

Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 11 Dec 10:34
· 2 commits to v8.12 since this release
V8.12.2
This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.
e64a5ad
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.

This release fixes two impacting 8.12 regressions (in notations and the implicit argument inference of the exists tactic). See changelog.

New: a 64-bit Windows Coq platform installer is now available. A 32-bit Windows installer should eventually become available.

Assets 5