Preview of rocq-prover.org, open for contributions

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.