Coq theorem prover is now called Rocq

(rocq-prover.org)

4 points | by rwmj 7 hours ago ago

No comments yet.