Coq
Licença:Gratuito
Total de downloads:22
Sistema operacional:Windows XP / Vista / 7 / 8 / 10 / 11
Latest version:8.4
Descrição
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 IDEA! Free Edition, que podem ser relacionados a Coq.
Comentários
Subscribe to commentsPor favor, adicione um comentário explicando o raciocínio por trás do seu voto.