Coq theorem prover is now called Rocq

(rocq-prover.org)

4 points | by rwmj 8 hours ago ago