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
Copyright
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
andrewsaysblog 
March 15, 2016 at 10:07 AM
thanks 🙂