Package: coq-theories (8.12.0-3 and others) [debports]
Links for coq-theories
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [coq.inria.fr]
Similar packages:
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.
Other Packages Related to coq-theories
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- virtual package provided by coq
-
- rec: coq (>= 8.0)
- proof assistant for higher-order logic (toplevel and compiler)
Download coq-theories
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 8.12.0-3+b3 | 23,361.0 kB | 166,285.0 kB | [list of files] |
| hppa (unofficial port) | 8.12.0-3+b3 | 23,358.5 kB | 166,204.0 kB | [list of files] |
| ia64 (unofficial port) | 8.12.0-3+b3 | 23,359.0 kB | 166,286.0 kB | [list of files] |
| sh4 (unofficial port) | 8.12.0-3+b3 | 23,351.6 kB | 166,203.0 kB | [list of files] |
| sparc64 (unofficial port) | 8.12.0-3+b3 | 23,359.8 kB | 166,286.0 kB | [list of files] |
| x32 (unofficial port) | 8.12.0-3+b3 | 23,356.3 kB | 166,203.0 kB | [list of files] |