Rocq Changelog

RSS

Read the latest releases and updates from the Rocq ecosystem.

Compiler Platform Developer Preview Infrastructure rocq-prover.org

Release of Coq 8.20.1

coq

We have the pleasure of announcing the release of Coq 8.20.1.

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.1

The source code for the release is also directly available on:

See full changelog

Changes Since Coq 8.20.1

Bugfixes, see the changelog in the reference manual.

Release of Coq 8.20.0

coq

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

If you want to contribute to a new release announcement, check out the Contributing Guide on GitHub.