Yeah, and look how well that went: https://rocq-prover.org/platform https://rocq-prover.org/platform When you go to the downloads, it is actually Coq again. It

Yeah, and look how well that went: https://rocq-prover.org/platform https://rocq-prover.org/platform When you go to the downloads, it is actually Coq again. It was a ridiculous name, yes, but that name change is even more ridiculous. Most people are still calling it Coq, past research papers are calling it Coq, and Prince is still Prince and not the symbol.