why3-base

Why3 environment for deductive program verification (base)
Description

This package is for advanced users only, normal users should use the full why3 package.