[ Zdroj: coq-interval ]
Balík: libcoq-interval (4.10.0-1)
Odkazy pre libcoq-interval
Zdroje Debian:
Stiahnuť zdrojový balík coq-interval:
- [coq-interval_4.10.0-1.dsc]
- [coq-interval_4.10.0.orig.tar.bz2]
- [coq-interval_4.10.0-1.debian.tar.xz]
Správcovia:
Externé zdroje:
- Domovská stránka [coqinterval.gitlabpages.inria.fr]
Podobné balíky:
interval arithmetic for Coq
This package provides tactics to simplify the proof of inequalities on expressions of real numbers.
Coq is a proof assistant for higher-order logic.
Ostatné balíky súvisiace s balíkom libcoq-interval
|
|
|
|
-
- dep: libcoq-bignums-bed54
- virtuálny balík poskytovaný balíkom libcoq-bignums
-
- dep: libcoq-coquelicot-n9qf6
- virtuálny balík poskytovaný balíkom libcoq-coquelicot
-
- dep: libcoq-flocq-knv50
- virtuálny balík poskytovaný balíkom libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-emhj9
- virtuálny balík poskytovaný balíkom libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-4ftr7
- virtuálny balík poskytovaný balíkom libcoq-stdlib
Stiahnuť libcoq-interval
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 6,438.2 kB | 20,550.0 kB | [zoznam súborov] |