[ Source: coq-reduction-effects ]
Package: libcoq-reduction-effects (0.1.5-1 and others)
Links for libcoq-reduction-effects
Debian Resources:
Download Source Package coq-reduction-effects:
- [coq-reduction-effects_0.1.5-1.dsc]
- [coq-reduction-effects_0.1.5.orig.tar.gz]
- [coq-reduction-effects_0.1.5-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
effetti di riduzione per Coq
Questo plugin aggiunge effetti collaterali di riduzione ad alcune strategie di riduzione di Coq.
Coq รจ un assistente alle dimostrazioni per logiche di ordine superiore.
Other Packages Related to libcoq-reduction-effects
|
|
|
|
-
- dep: libcoq-stdlib-84f80 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-8u5j8 [armhf]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-97v84 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-l2kk4 [riscv64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-n0k10 [ppc64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-nhhu6 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-tp8b6 [i386]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-wsmp7 [s390x]
- virtual package provided by libcoq-stdlib
Download libcoq-reduction-effects
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 0.1.5-1+b1 | 14.3 kB | 100.0 kB | [list of files] |
arm64 | 0.1.5-1+b1 | 14.5 kB | 196.0 kB | [list of files] |
armhf | 0.1.5-1+b1 | 13.9 kB | 90.0 kB | [list of files] |
i386 | 0.1.5-1+b1 | 13.8 kB | 98.0 kB | [list of files] |
ppc64 (unofficial port) | 0.1.4-4+b2 | 14.7 kB | 196.0 kB | [list of files] |
ppc64el | 0.1.5-1+b1 | 14.5 kB | 196.0 kB | [list of files] |
riscv64 | 0.1.5-1+b2 | 14.2 kB | 92.0 kB | [list of files] |
s390x | 0.1.5-1+b1 | 14.0 kB | 100.0 kB | [list of files] |