Dear Coq users, we’re excited to announce the preview release of the new Rocq Prover website along with the Rocq Prover’s logo and visual identity. See the good news there.
The GitHub repository is now open for contributions. Note that this version of the website is a work-in-progress preview and requires the renaming work to be performed in other projects, it is not its final version.
Merry Christmas on behalf of the Rocq development team!
[PS: if you have visited the rocq-prover.org website before, you may need to open it in incognito mode or to erase the website data to be able to access the home page. Otherwise, your browser’s cache may redirect you to a page that no longer exists with the same URL.]
[PPS: Note that there is still a lot of work to do to finalize the website, and in the meantime the official website of Coq remains https://coq.inria.fr. We will have the latter redirect to the Rocq Prover website around the time of the Rocq 9.0 release (expected in the coming months). The preview is meant to attract contributions, but it is still too early to share the link beyond the Coq community (e.g., avoid posting it on social media or Hacker News for now).]
I had no idea. Thanks!