[ etiona ]
[ nabia ]
[ Källkod: why3 ]
Paket: why3-coq (1.2.1-6)
Länkar för why3-coq
Trisquelresurser:
Hämta källkodspaketet why3:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Ralf Treinen
Externa resurser:
- Hemsida [why3.lri.fr]
Liknande paket:
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.
Andra paket besläktade med why3-coq
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtuellt paket som tillhandahålls av coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Hämta why3-coq
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 568,9 kbyte | 2966 kbyte | [filförteckning] |