[ Fonte: coq ]
Pacote: libcoq-stdlib (8.20.1+dfsg-1 e outros)
Links para libcoq-stdlib
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)
- Julien Puydt (QA Página)
- Ralf Treinen (QA Página)
- Stéphane Glondu (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 libcoq-stdlib
|
|
|
|
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)
Download de libcoq-stdlib
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| amd64 | 8.20.1+dfsg-1+b1 | 22,975.7 kB | 146,164.0 kB | [lista de arquivos] |
| arm64 | 8.20.1+dfsg-1+b1 | 22,979.9 kB | 146,164.0 kB | [lista de arquivos] |
| ppc64el | 8.20.1+dfsg-1+b1 | 22,977.6 kB | 146,164.0 kB | [lista de arquivos] |
| riscv64 | 8.20.1+dfsg-1+b1 | 22,976.6 kB | 146,164.0 kB | [lista de arquivos] |
| s390x | 8.20.1+dfsg-1+b1 | 22,976.9 kB | 146,164.0 kB | [lista de arquivos] |