Planet Coq

Link aggregator of discussions about the Coq interactive theorem prover

Coq News