Coq theorem prover is now called Rocq

4 pointsposted 8 hours ago
by rwmj
(rocq-prover.org)

No comments yet