Pakiet: why3-coq (1.3.3-3) [debports]
Odnośniki dla why3-coq
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [why3.lri.fr]
Podobne pakiety:
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.
Inne pakiety związane z why3-coq
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- pakiet wirtualny udostępniany przez coq
-
- dep: tex-common (>= 6.13)
- Wspólna infrastruktura do budowy i instalacji systemu TeX
-
- rec: why3
- Software verification platform
Pobieranie why3-coq
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| x32 (port nieoficjalny) | 739,2 KiB | 3 826,0 KiB | [lista plików] |