Planet Coq

Link aggregator of discussions about the Coq interactive theorem prover Atom feed

Coq News