[ etiona ]
[ nabia ]
[ Källkod: why3 ]
Paket: why3-examples (0.88.3-1ubuntu4)
Länkar för why3-examples
Trisquelresurser:
Hämta källkodspaketet why3:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Ralf Treinen
Externa resurser:
- Hemsida [why3.lri.fr]
Liknande paket:
Examples for the why3 verification platform
This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
Andra paket besläktade med why3-examples
|
|
|
-
- dep: tex-common (>= 6)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Hämta why3-examples
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 1.579,0 kbyte | 2940 kbyte | [filförteckning] |