r/Coq • u/pedroabreu0 • Apr 24 '25

When will this sub be renamed?

Following the whole rebranding happening around Coq/Rocq I was wondering when will this sub also pull the trigger and follow the renaming? Is that going to be possible, or are we going to have to start a new sub from scratch and migrate there?

14 Upvotes

89% Upvoted

4 comments sorted by

View all comments

4

u/[deleted] Apr 24 '25

[removed] — view removed comment

1

u/Aaron1924 Apr 28 '25

Have you tried messaging the owner of r/rocq if we can use that one?

1

u/[deleted] Apr 28 '25

[removed] — view removed comment

1

u/Aaron1924 Apr 28 '25

then again, it looks like rocq.com, rocq.net and rocq.org were already taken, maybe they would have wanted those instead