[ Zdroj: why3 ]
Balík: why3-coq (1.2.0-1)
Odkazy pre why3-coq
Zdroje Debian:
Stiahnuť zdrojový balík why3:
Správcovia:
Externé zdroje:
- Domovská stránka [why3.lri.fr]
Podobné balíky:
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
Ostatné balíky súvisiace s balíkom why3-coq
|
|
|
|
-
- dep: coq-8.9.0+4.05.0
- virtuálny balík poskytovaný balíkom coq
-
- dep: tex-common (>= 6)
- spoločná infraštruktúra na zostavovanie a inštalovanie TeXu
-
- rec: why3
- Software verification platform
Stiahnuť why3-coq
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 582.8 kB | 2,714.0 kB | [zoznam súborov] |
| arm64 | 582.3 kB | 2,714.0 kB | [zoznam súborov] |
| armhf | 587.9 kB | 2,720.0 kB | [zoznam súborov] |
| i386 | 587.8 kB | 2,720.0 kB | [zoznam súborov] |