[ Fonte: coq ]
Pacote: coq-theories (8.9.0-1)
Links para coq-theories
Recursos de Debian:
- Relatórios de bug
- Informação de desenvolvedor(a)
- Debian Changelog
- Arquivo de copyright
- Rastreador de patch Debian
Baixe o pacote-fonte coq:
Mantenedores(as):
- Debian OCaml Maintainers (QA Página, E-mail Arquivo)
- Benjamin Barenblat (QA Página)
- Ralf Treinen (QA Página)
- Samuel Mimram (QA Página)
- Stéphane Glondu (QA Página)
- Enrico Tassi (QA Página)
Fontes externas:
- Pagina principal [coq.inria.fr]
Pacotes similares:
assistente de provas para lógica de ordem superior (teorias)
Coq é um assistente de prova para lógica de ordem superior, que permite o desenvolvimento de programas de computador coerente com suas especificações formais. Ele é desenvolvido usando Objective Caml e Camlp5.
Este pacote fornece teorias existentes nas quais novas provas podem ser baseadas, incluindo teorias de valores aritméticos e booleanos.
Outros pacotes relacionados a coq-theories
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- pacote virtual fornecido por coq
-
- rec: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
Download de coq-theories
| Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|
| armhf | 19,874.8 kB | 130,396.0 kB | [lista de arquivos] |