6 ms·
It’s been renamed recently. Maybe a few times. I think it’s rocq now. [1] [1] https://rocq-prover.org/docs https://rocq-prover.org/docs
by djsjajah 1mo ago
It’s been renamed recently. Maybe a few times. I think it’s rocq now. [1]
[1] https://rocq-prover.org/docs https://rocq-prover.org/docs
- Nail2680 1mo agoHuh, I missed all of that. The linked discussion about the renaming from your link was a bit odd: https://discourse.rocq-prover.org/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001#renaming-coq-8 https://discourse.rocq-prover.org/t/coq-community-survey-202... It seemed to me from the survey that most people didn't want it changed or didn't care, but due to anglophone users they decided to change it anyway.