[ Source: coq-interval ]
Package: libcoq-interval (4.11.0-2 and others)
Links for libcoq-interval
Debian Resources:
Download Source Package coq-interval:
- [coq-interval_4.11.0-2.dsc]
- [coq-interval_4.11.0.orig.tar.bz2]
- [coq-interval_4.11.0-2.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [coqinterval.gitlabpages.inria.fr]
Similar packages:
aritmetica su intervalli per Coq
Questo pacchetto fornisce tattiche per semplificare le dimostrazioni di diseguaglianza su espressioni di numeri reali.
Coq รจ un assistente alle dimostrazioni per logiche di ordine superiore.
Other Packages Related to libcoq-interval
|
|
|
|
-
- dep: libcoq-bignums-4mxx0 [ppc64el]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-gak59 [riscv64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-hjxv3 [s390x]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-j0ul9 [amd64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-bignums-tyws0 [arm64]
- virtual package provided by libcoq-bignums
-
- dep: libcoq-coquelicot-47097 [s390x]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-a2j48 [arm64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-eofx8 [ppc64el]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-gdq45 [amd64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-coquelicot-kx1g4 [riscv64]
- virtual package provided by libcoq-coquelicot
-
- dep: libcoq-flocq-6ntx5 [s390x]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-8g8u8 [ppc64el]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-cilw8 [riscv64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-k4ns0 [arm64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-flocq-teh80 [amd64]
- virtual package provided by libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-2ms03 [riscv64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-5qh81 [ppc64el]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-hpst9 [amd64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-ir964 [arm64]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-nqhp3 [s390x]
- virtual package provided by libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-cw0z4 [arm64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-f88b8 [ppc64el]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-orhs4 [amd64]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-qzv05 [s390x]
- virtual package provided by libcoq-stdlib
-
- dep: libcoq-stdlib-wfue2 [riscv64]
- virtual package provided by libcoq-stdlib
Download libcoq-interval
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 4.11.0-2+b4 | 6,411.4 kB | 20,480.0 kB | [list of files] |
| arm64 | 4.11.0-2+b4 | 6,413.8 kB | 20,492.0 kB | [list of files] |
| ppc64el | 4.11.0-2+b4 | 6,411.2 kB | 20,492.0 kB | [list of files] |
| riscv64 | 4.11.0-2+b4 | 6,413.1 kB | 20,480.0 kB | [list of files] |
| s390x | 4.11.0-2+b4 | 6,411.7 kB | 20,484.0 kB | [list of files] |