Skip to content

Compatibility release for Coq 8.14
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 17 Sep 13:38
· 65 commits to master since this release
V8.14.0
118fc5b
This commit was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Learn about vigilant mode.

Was tested to be compatible with Coq 8.14+rc1.

Assets 2
Loading