[ Source: why3 ]
Package: why3-examples (1.3.3-1)
Links for why3-examples
Debian Resources:
Download Source Package why3:
Maintainers:
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
esempi per la piattaforma di verifica why3
Questo pacchetto contiene esempi, sia delle attività di verifica dei programmi sia di attività di pura verifica logica, per la piattaforma why3 di verifica di software.
Other Packages Related to why3-examples
|
|
|
|
-
- dep: tex-common (>= 6.13)
- infrastruttura comune per compilare e installare TeX
-
- rec: why3
- piattaforma di verifica del software
Download why3-examples
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 3,411.7 kB | 18,155.0 kB | [list of files] |