Coq 8.4 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros.
Coq está na categoria Ferramentas de Desenvolvimento. Coqide.exe e coqtop.exe são os nomes de arquivo mais conhecidos para o instalador desse programa. Coq é adequado para as versões 32-bit do Windows XP/Vista/7/8/10/11. As versões mais baixadas do programa são 8.4 e 8.2. O desenvolvedor do Coq é Coq Development Team.
Do desenvolvedor:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Confira mais programas, tais como XLogo ou QuadToneRIP, que podem ser relacionados a Coq.