[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Quellcode: why3 ]

Paket: why3-examples (1.2.0-1)

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

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: tex-common (>= 6)

Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX

rec: why3

Software verification platform

why3-examples herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
all	2.415,4 kB	13.068,0 kB	[Liste der Dateien]