Hacker News new | ask | show | jobs
by Ericson2314 237 days ago
Rocq is ancient and has some longstanding UX problems. It is pleasant to try making a new code base.

This is kinda like asking, why write Clang when we already had GCC? Or, why making Python if we already have Perl?

It's good to have some competition for these things, Rocq I believe felt the heat and has been also doing some good things in recent years.

1 comments

Why do you keep saying Rocq when he asked about Coq? Are they the same thing?
https://en.wikipedia.org/wiki/Rocq

`The Rocq Prover (formerly named Coq) [...] `