Coq theorem prover is now called Rocq

(rocq-prover.org) by rwmj | Apr 15, 2026 | 0 comments on HN