Binary package “why3-examples” in ubuntu bionic
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 0.88.3-1ubuntu4 in amd64 (Proposed)
- why3-examples 0.88.3-1ubuntu4 in amd64 (Release)
- why3-examples 0.88.3-1ubuntu4 in arm64 (Proposed)
- why3-examples 0.88.3-1ubuntu4 in arm64 (Release)
- why3-examples 0.88.3-1ubuntu4 in armhf (Proposed)
- why3-examples 0.88.3-1ubuntu4 in armhf (Release)
- why3-examples 0.88.3-1ubuntu4 in i386 (Proposed)
- why3-examples 0.88.3-1ubuntu4 in i386 (Release)
- why3-examples 0.88.3-1ubuntu4 in ppc64el (Proposed)
- why3-examples 0.88.3-1ubuntu4 in ppc64el (Release)
- why3-examples 0.88.3-1ubuntu4 in s390x (Proposed)
- why3-examples 0.88.3-1ubuntu4 in s390x (Release)