Binary package “why3-examples” in ubuntu noble
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.
Source package
Published versions
- why3-examples 1.6.0-1 in amd64 (Release)
- why3-examples 1.6.0-1build7 in amd64 (Proposed)
- why3-examples 1.6.0-1build7 in amd64 (Release)
- why3-examples 1.6.0-1 in arm64 (Release)
- why3-examples 1.6.0-1build7 in arm64 (Proposed)
- why3-examples 1.6.0-1build7 in arm64 (Release)
- why3-examples 1.6.0-1 in armhf (Release)
- why3-examples 1.6.0-1build7 in armhf (Proposed)
- why3-examples 1.6.0-1build7 in armhf (Release)
- why3-examples 1.6.0-1 in i386 (Release)
- why3-examples 1.6.0-1build7 in i386 (Proposed)
- why3-examples 1.6.0-1build7 in i386 (Release)
- why3-examples 1.6.0-1 in ppc64el (Release)
- why3-examples 1.6.0-1build7 in ppc64el (Proposed)
- why3-examples 1.6.0-1build7 in ppc64el (Release)
- why3-examples 1.6.0-1 in riscv64 (Release)
- why3-examples 1.6.0-1build7 in riscv64 (Proposed)
- why3-examples 1.6.0-1build7 in riscv64 (Release)
- why3-examples 1.6.0-1 in s390x (Release)
- why3-examples 1.6.0-1build7 in s390x (Proposed)
- why3-examples 1.6.0-1build7 in s390x (Release)