[ Quellcode: why3 ]
Paket: why3-examples (1.7.2-2)
Links für why3-examples
Debian-Ressourcen:
Quellcode-Paket why3 herunterladen:
Betreuer:
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.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
-
- rec: why3
- Software verification platform
why3-examples herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 3.952,8 kB | 18.135,0 kB | [Liste der Dateien] |