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

[ Source: why3 ]

Package: why3-examples (1.5.1-1)

Links for why3-examples

Debian Resources:

Download Source Package why3:

Maintainers:

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

depends

recommends

suggests

enhances

dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX

rec: why3

Software verification platform

Download why3-examples

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	3,839.9 kB	20,006.0 kB	[list of files]