Coq means rooster in French. But it has been named after the name of its inventor, Thierry Coquand. It is an interactive theorem prover. It is not an automated theorem prover but includes automatic…

Source: Coq proved four colour theorem

Advertisements