# The Rocq Prover - New identity and website

**URL:** <https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502>\
**Category:** Announcements\
**Created:** [December 24, 2024, 11:05pm UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502 "2024-12-24T23:05:43Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![mattam82](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/mattam82/32/11_2.png) [@mattam82](https://discourse.rocq-prover.org/u/mattam82)\
**Post date:** [December 24, 2024, 11:05pm UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/1 "2024-12-24T23:05:43Z")

</div>

[![introducing_the_rocq_prover](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/2/26900113101beaafb9a4866e4eb7a3ae53d920c5.jpeg)](https://rocq-prover.org/changelog/2024-12-25-rocq-prover-org-is-launched)

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](https://rocq-prover.org/changelog/2024-12-25-rocq-prover-org-is-launched).  
The [GitHub](https://github.com/coq/rocq-prover.org) 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](http://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](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).]

---

<div class="post-metadata">

**Author:** ![nobrowser](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/nobrowser/32/300_2.png) [@nobrowser](https://discourse.rocq-prover.org/u/nobrowser)\
**Post date:** [December 25, 2024, 2:00am UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/2 "2024-12-25T02:00:10Z")

</div>

Is that a bird? Same bird as before? Or am I missing the _new_ French only pun? 😉

–  
Ian

---

<div class="post-metadata">

**Author:** ![mattam82](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/mattam82/32/11_2.png) [@mattam82](https://discourse.rocq-prover.org/u/mattam82)\
**Post date:** [December 25, 2024, 8:34am UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/3 "2024-12-25T08:34:32Z")

</div>

See [About The Rocq Prover](https://rocq-prover.org/about#Name)

---

<div class="post-metadata">

**Author:** ![nobrowser](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/nobrowser/32/300_2.png) [@nobrowser](https://discourse.rocq-prover.org/u/nobrowser)\
**Post date:** [December 26, 2024, 7:03am UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/4 "2024-12-26T07:03:04Z")

</div>

Oh wow that’s really cool 🙂 I had no idea. Thanks!

---

<div class="post-metadata">

**Author:** ![clarus](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/clarus/32/237_2.png) [@clarus](https://discourse.rocq-prover.org/u/clarus)\
**Post date:** [January 6, 2025, 10:52am UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/5 "2025-01-06T10:52:09Z")

</div>

Congrats for the new website! It already got shared from our side on X 🙈

---

<div class="post-metadata">

**Author:** ![nobrowser](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/nobrowser/32/300_2.png) [@nobrowser](https://discourse.rocq-prover.org/u/nobrowser)\
**Post date:** [January 18, 2025, 7:39am UTC](https://discourse.rocq-prover.org/t/the-rocq-prover-new-identity-and-website/2502/6 "2025-01-18T07:39:02Z")

</div>

um … as for myself, I avoid making supporters of Orange Fascism even 1 more dollar beyond the billions they have already.

Just saying.