Release of Coq 8.20.0
We have the pleasure of announcing the release of Coq 8.20.0.
The full list of changes is available here for more details.
Installation Instructions
The base compiler can be installed as an opam switch with the following commands:
opam update
opam switch create 4.14.1
opam install coq.8.20.0
The source code for the release is also directly available on:
See full changelog
Changes Since Coq 8.19.0
TODO