[ etiona ]
[ nabia ]
[ Quellcode: why3 ]
Paket: why3-examples (0.88.3-1ubuntu4)
Links für why3-examples
Trisquel-Ressourcen:
Quellcode-Paket why3 herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Ralf Treinen
Externe Ressourcen:
- Homepage [why3.lri.fr]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu why3-examples
|
|
|
-
- dep: tex-common (>= 6)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
why3-examples herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 1.579,0 kB | 2940 kB | [Liste der Dateien] |