> and have second thoughts about changing it Do you have a source? As of now this is still in the roadmap[1] and I saw no information about removing it from th

> and have second thoughts about changing it Do you have a source? As of now this is still in the roadmap[1] and I saw no information about removing it from there. [1]: https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-roadmap.md#change-of-name-coq---the-rocq-prover https://github.com/coq/ceps/blob/coq-roadmap/text/069-coq-ro...