[ Source: coq-unicoq ]
Package: libcoq-unicoq (1.6-8.20-1 and others)
Links for libcoq-unicoq
Debian Resources:
Download Source Package coq-unicoq:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
algoritmo migliorato per unificazione per Coq
Questo pacchetto fornisce un nuovo algoritmo per unificazione che sostituisce quello esistente tramite un plugin.
Coq รจ un assistente alle dimostrazioni per logiche di ordine superiore.
Other Packages Related to libcoq-unicoq
|
|
|
|
-
- dep: libcoq-stdlib-1ns11 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-8jeh0 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-mz9g4 [loong64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-q0rh7 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-twvz5 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-wthf1 [riscv64]
- virtual package provided by libcoq-stdlib
Download libcoq-unicoq
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 1.6-8.20-1+b4 | 84.6 kB | 612.0 kB | [list of files] |
| arm64 | 1.6-8.20-1+b4 | 88.2 kB | 740.0 kB | [list of files] |
| loong64 (unofficial port) | 1.6-8.19-2 | 85.1 kB | 636.0 kB | [list of files] |
| ppc64 (unofficial port) | 1.6-8.19-2 | 84.8 kB | 732.0 kB | [list of files] |
| ppc64el | 1.6-8.20-1+b4 | 87.0 kB | 740.0 kB | [list of files] |
| riscv64 | 1.6-8.20-1+b4 | 87.2 kB | 636.0 kB | [list of files] |
| s390x | 1.6-8.20-1+b4 | 86.3 kB | 690.0 kB | [list of files] |