Rocq Changelog

The Rocq Team is pleased to announce the preview release of the new website of the Rocq Prover and Platform, along with its new logo and visual identity.

This website is based on a fork of the www.ocaml.org website. The Rocq developers are extremely grateful to the OCaml.org developers for making their sophisticated website open-source 🙏🏼.

The new identity was designed by Bastien Sozeau, founder of the Noir Blanc Rouge type foundry.

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:

• GitHub