Comment Comment by djsjajah It’s been renamed recently. Maybe a few times. I think it’s rocq now. [1][1] https://rocq-prover.org/docs parent djsjajah 2 months ago
[1] https://rocq-prover.org/docs