3.0
em 1 voto

Licença: Gratuito
Total de downloads:14
Sistema operacional:Windows XP/Vista/7/8/10/11
Latest version:8.4
Baixar agora do site do desenvolvedor
Screenshot

Imagem do ecrã

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 QuadToneRIP, que podem ser relacionados a Coq.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em:
Últimas atualizações
KingshiperZip
KingshiperZip

Compactador de arquivos

Notepad++
Notepad++

Gerenciamento de documento

RoboForm
RoboForm

Privacidade

Faça download mais fácil Faça download mais fácil Conheça o FDM Suporte a complementos Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.