Skip to content
Compare
Choose a tag to compare

Coq 8.11.2

@ppedrot ppedrot released this
· 3 commits to v8.11 since this release
1539a9a
Compare
Choose a tag to compare

The Coq 8.11.2 release brings a few minor changes. See the changelog.