[ etiona ]
[ nabia ]
[ Source: why3 ]
Пакунок: why3-coq (1.2.1-6)
Links for why3-coq
Trisquel Resources:
Download Source Package why3:
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
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.
Інші пакунки пов'язані з why3-coq
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtual package provided by coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Завантажити why3-coq
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
amd64 | 568.9 kB | 2966 kB | [список файлів] |