| | Coq.fornece uma linguagem formal para escrever definições matemáticas. |
| Baixe Agora | |
Coq. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Nome do editor:
- Coq Development Team
- Sistemas operacionais:
- Windows
- Tamanho do arquivo:
- 53.7 MB
Coq. Tag
Coq. Descrição
COQ é um sistema formal de gerenciamento de prova. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas juntamente com um ambiente para o desenvolvimento semi-interativo de provas verificadas por máquina. As aplicações típicas incluem a formalização de semântica de linguagens de programação, a formalização da matemática e o ensino. Compartilhe sua experiência: Faça sua avaliação sobre este programa
Coq. Software Relacionado
Gerador de serials aleatórios
gera seriais alfanuméricos aleatórios de comprimento personalizado e número ...
29 KB
Quicktac.
Um software de desenho gráfico, semelhante ao MS Pintura que usa pontos como uma base de desenho. ...
2.4 MB
