all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: why3  ]

Package: why3-examples (1.7.2-2)

Links for why3-examples

Screenshot

Debian Resources:

Download Source Package why3:

Maintainers:

External Resources:

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

Download why3-examples

Download for all available architectures
Architecture Package Size Installed Size Files
all 3,952.8 kB18,135.0 kB [list of files]