[ etiona ]
[ nabia ]
[ Source: why3 ]
Package: why3-examples (1.2.1-6)
Links for why3-examples
Trisquel Resources:
Download Source Package why3:
Maintainer:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
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.
Other Packages Related to why3-examples
|
|
|
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
Download why3-examples
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 2,402.9 kB | 13058 kB | [list of files] |